Dang Van Hung, Bui Vu Anh. Model Checking Real-Time Component Based Systems with Blackbox Testing. In 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China. pages 76-79, IEEE Computer Society, 2005. [doi]
Abstract is missing.