Martin Korsgaard, Amund Skavhaug, Sverre Hendseth. Improving Real-Time Software Quality by Direct Specification of Timing Requirements. In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings. pages 528-536, IEEE Computer Society, 2009. [doi]