Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts | Publicación