@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)",

}