Jos C. M. Baeten D. A. van Beek Pieter J. L. Cuijpers Michel A. Reniers J. E. Rooda Ramon R. H. Schiffelers R. J. M. Theunissen Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. 21-53 2008 209 Electr. Notes Theor. Comput. Sci. http://dx.doi.org/10.1016/j.entcs.2008.04.003 db/journals/entcs/entcs209.html#BaetenBCRRST08