Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems | IEEE Conference Publication | IEEE Xplore