- Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, and Gul Agha. Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. STTT, 20(5):547–561, 2018.
- Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, and Gul Agha. A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Review, 14(3):49–56, 2017.
- Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, and Gul A. Agha. Schedulability analysis of distributed real-time sensor network applications using actor-based model checking. In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, volume 9641 of Lecture Notes in Computer Science, 165–181. Springer, 2016.