Hybrid object-oriented real-time software development with VDM++ | IEEE Conference Publication | IEEE Xplore