Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. - Gustavo Carvalho; Igor Meira (CoRR, 2019)

Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements. - Gustavo Carvalho; Igor Meira (Sci. Comput. Program., 2021)