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. Electronic Notes in Theoretical Computer Science, 209:21-53, 2008. [doi]
Abstract is missing.