Continuous Domain Documentation
Ptolemy II Documentation
Haiyang Zheng, "
Operational Semantics of Hybrid Systems
," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-68, May 18, 2007.