Implementing real-time transactional security property using timed edit automata
Implementing Real-Time Transactional Security Property using Timed Edit Automata