@inproceedings{DMNB15,
	Author = {Aaron Dutle and C{\'{e}}sar Mu{\~{n}}oz and Anthony Narkawicz and Ricky Butler},
	Booktitle = {Proceedings of the 9th International Conference on Tests \& Proofs (TAP 2015)},
	Month = {July},
	Title = {Software Validation via Model Animation},
        Address = {L'Aquila, Italy},
        series = "Lecture Notes in Computer Science",        
        editor = "Jasmin Blanchette and Nikolai Kosmatov",
        volume = "9154",
        pages = "92--108",
        doi = "10.1007/978-3-319-21215-9_6",
        year = "2015",
        publisher = "Springer",
}