Implementing real-time transactional security property using timed edit automata
Services and Algorithms for Sensor Networks: a Theoretical Perspective Nancy Lynch, MIT NEST PI Meeting July, 2003.
Services and Algorithms for Sensor Networks: a Theoretical Perspective
ECE/CS 584: Verification of Embedded Computing Systems Model Checking Timed Automata