Brian Nielsen, Arne Skou. Test Generation for Time Critical Systems: Tool and Case Study. In 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings. pages 155-162, IEEE Computer Society, 2001. [doi]
Abstract is missing.