Jin-Cherng Lin, Ian Ho: A New Perspective on Formal Testing Method for Real-Time Software. EUROMICRO 2000: 2270-2276