Reading 3

1. Chapter 7 of Ptolemeaus, System Design, Modeling, and Simulation, Discrete-Event Systems
2. Lee, Modeling Concurrent Real-time Processes Using Discrete Events Download Modeling Concurrent Real-time Processes Using Discrete Events
   , Annals of Software Engineering, 1999
3. Liu, Matsikoudis, and Lee, Modeling Timed Concurrent Systems Download Modeling Timed Concurrent Systems
   , CONCUR, 2006

For the adventurous who really want to dive into generalized ultrametric spaces:

1. Matsikoudis and Lee, On Fixed-Points of Strictly Causal Functions Download On Fixed-Points of Strictly Causal Functions
   , FORMATS 2013
2. Matsikoudis and Lee, Generalized Ultrametric Semilattice of Linear Signals Download Generalized Ultrametric Semilattice of Linear Signals
   , Technical Report, 2014