Improving Real-Time Software Quality by Direct Specification of Timing Requirements | IEEE Conference Publication | IEEE Xplore