Jin Song Dong Ping Hao Brendan P. Mahony Formal Designs for Embedded and Hybrid Systems. 373-378 2005 15 International Journal of Software Engineering and Knowledge Engineering 2 http://dx.doi.org/10.1142/S0218194005002117 db/journals/ijseke/ijseke15.html#DongHM05