@inproceedings{DWMVM14,
	Author = {Parasara Sridhar Duggirala and Le Wang and Sayan Mitra and Mahesh Viswanathan and C{\'{e}}sar Mu{\~{n}}oz},
	Booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM 2014)},
	Month = {May},
	Title = {Temporal Precedence Checking for Switched Models and Its Application to a 
Parallel Landing Protocol},
        Address = {Singapore},
        series = "Lecture Notes in Computer Science",        
        editor = "Cliff Jones and Pekka Pihlajasaari and Jun Sun",
        volume = "8442",
        pages = "215--229",
        year = "2014",
        publisher = "Springer",
}