A Formal Model for Natural-Language Timed Requirements of Reactive Systems.

Gustavo Carvalho, Ana Carvalho, Eduardo Rocha, Ana Cavalcanti, Augusto Sampaio

Browse the full ICFEM paper archive.