Executable Object-Oriented Graphical Models of Real-Time Software | IEEE Conference Publication | IEEE Xplore