Niebert, Peter and Peled, Doron. (2009) Efficient model checking for LTL with partial order snapshots. Theoretical Computer Science, Vol.410 (No.42). pp. 4180-4189. ISSN 0304-3975

Peled, Doron and Qu, Hongyang (2006) Enforcing concurrent temporal behaviors. In: 2nd International Conference on Automated Technology for Verification and Analysis (ATVA 2004), Taipei, Taiwan, Nov, 2004. Published in: International Journal of Foundations of Computer Science, Vol.17 (No.4). pp. 743-761.