On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. - Jennifer M. Davoren; Thomas Moor; Rajeev Goré; Vaughan Coulthard; Anil Nerode (FORMATS/FTRTFT, 2004)

Non-deterministic Temporal Logics for General Flow Systems. - Jennifer M. Davoren; Vaughan Coulthard; Nicolas Markey; Thomas Moor (HSCC, 2004)