New Methods and Tools for Developing Real-Time Software | IEEE Conference Publication | IEEE Xplore