From Scenarios to Timed Automata: Building Specifications from Users Requirements.

Stphane S. Som, Rachida Dssouli, Jean G. Vaucher

Browse the full APSEC paper archive.