2021
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
Sci. Comput. Program., 2021

2019
Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
CoRR, 2019