Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata.

Yosuke Mutsuda Takaaki Kato Satoshi Yamane Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata. 346-360 2005 conf/icess/2005 ICESS http://dx.doi.org/10.1007/11599555_34 db/conf/icess/icess2005.html#MutsudaKY05