Mole Li, Alan Grigg. Brief Industry Paper: A Model-based Framework and Tool Support for Capturing System Verification Strategy. In 27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021, Nashville, TN, USA, May 18-21, 2021. pages 441-444, IEEE, 2021. [doi]