@inproceedings{ce84299796e14e9598a030556f40c03d,
title = "Model-based engineering of embedded systems using the hybrid process algebra Chi",
abstract = "Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements and operators for combining these. For the efficient implementation of simulators and the verification of properties of hybrid systems it is convenient to have a model that uses a more restricted part of the syntax of hybrid Chi. To that purpose the linearization of a reasonably expressive, relevant subset of the Chi language is discussed. A linearization algorithm that transforms any specification from this subset into a so-called normal form is presented. The algorithm is applied to a bottle-filling line example to demonstrate tool-based verification of Chi models.",
author = "J.C.M. Baeten and {Beek, van}, D.A. and P.J.L. Cuijpers and M.A. Reniers and J.E. Rooda and R.R.H. Schiffelers and R.J.M. Theunissen",
year = "2008",
doi = "10.1016/j.entcs.2008.04.003",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "21--53",
editor = "C. Palamidessi and F.D. Valencia",
booktitle = "Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006)",
}