Model a simple stopwatch with start/stop/lap buttons using timed automata. Steps:
Instead of hunting for a compromised file, use these legitimate strategies to get the answers you need. introduction to embedded systems lee seshia solution manual
Here's an overview: