An object-oriented approach to formal specification of reactive systems | IEEE Conference Publication | IEEE Xplore