Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty. Refining Task Specifications using Model Checking. In 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2018, Hakodate, Japan, August 28-31, 2018. pages 185-191, IEEE Computer Society, 2018. [doi]
Abstract is missing.