1. A process-algebraic approach for the analysis of probabilistic non-interference;Aldini;Journal of Computer Security,2004
2. Verifying automata specifications of probabilistic real-time systems;Alur,1992
3. A theory of timed automata;Alur;Theoretical Computer Science,1994
4. Automatic synthesis of real time systems;Andersen,1995
5. An asynchronous process algebra with multiple clocks;Andersen,1994