Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs | Publicación