Jing Guan, Jeff Offutt. A model-based testing technique for component-based real-time embedded systems. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. pages 1-10, IEEE Computer Society, 2015. [doi]