An old-fashioned recipe for real time, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.16, issue.5, pp.1543-1571, 1994. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
Automatically transforming and relating Uppaal models of embedded systems, Proceedings of the 8th ACM Int. Conference on Embedded Software (EMSOFT'08, pp.59-68, 2008. ,
Symbolic model checking for real-time systems, Information and Computation, vol.111, issue.2, pp.192-244, 1994. ,
MCS ® 51 microcontroller family user's manual, 1994. ,
Scaling up Uppaal: Automatic verification of real-time systems using compositionality and abstraction, Proceedings of the 6th Int. Symposium on Formal Techniques for Real-Time and Fault-Tolerance, pp.19-30, 2000. ,
The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science, 2006. ,
Uppaal in a nutshell, Int. Journal of Software Tools for Technology Transfer, vol.1, pp.1-2, 1997. ,
Forward and backward simulations. Part II: Timing-based systems, Information and Computation, vol.128, issue.1, pp.1-25, 1996. ,
GP2D02: Compact, high sensitive distance measuring sensor, 1997. ,
Analysis of a biphase mark protocol with Uppaal and PVS. Formal Aspects of Computing 18, pp.433-458, 2006. ,