Marius C. Bujorianu Howard Barringer An Integrated Specification Logic for Cyber-Physical Systems. 291-300 2009 ICECCS http://dx.doi.org/10.1109/ICECCS.2009.36 conf/iceccs/2009 db/conf/iceccs/iceccs2009.html#BujorianuB09