@techreport{rosu-stefanescu-ciobaca-moore-2012-tr, author = "Ro\c{s}u, Grigore and \c{S}tef\u{a}nescu, Andrei and Ciob\^{a}c\u{a}, \c{S}tefan and Moore, Brandon M.", month = "Jul", year = "2012", number = "http://hdl.handle.net/2142/32952", institution = "University of Illinois", title = "Reachability Logic" }