A formal model for coupling computer based system and physical systems | IEEE Conference Publication | IEEE Xplore