Design and Verification Languages
2017 ◽
pp. 373-399