Invited Mini-review Session 2: Software Specification Of Real-time Systems | IEEE Conference Publication | IEEE Xplore