References
- Stefan Andrei and Albert M. K. Cheng. 2007. Verifying Linear Real-Time Logic Specifications. In Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS '07). IEEE Computer Society, Washington, DC, USA, 333-342. DOI=10.1109/RTSS.2007.53 http://dx.doi.org/10.1109/RTSS.2007.53
- Homa Niktab, Albert M. K. Cheng, Michael Walston, Holle Christensen. Timing Analysis of Small Aircraft Transportation System (SATS). Submitted to IEEE RTSS 2011.
- Homa Niktab. Timing Analysis of Small Aircraft Transportation System (SATS). M.S. Thesis, Department of Computer Science, University of Houston, Dec. 2010.