Software design and implementation using the Real-Time Object-Oriented Modeling Language | IEEE Conference Publication | IEEE Xplore