@inproceedings{DDR04HSCC,
  author =	 "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
  title =	 "Almost {ASAP} Semantics: From Timed Models to Timed
                  Implementations",
  booktitle =	 "Proceedings of HSCC 04: Hybrid Systems---Computation and Control",
  series =	 "LNCS",
  volume =	 2993,
  publisher =	 "Springer-Verlag",
  year =	 2004,
  pages =	 "296--310",
}

@inproceedings{DDMR04FORMATS,
  author =	 "{De Wulf}, M. and Doyen, L. and Markey, N. and
                  Raskin, J.-F.",
  title =	 "Robustness and Implementability of Timed Automata",
  booktitle =	 "Proceedings of FORMATS-FTRTFT 2004",
  series =	 "LNCS",
  volume =	 3253,
  pages =	 "118--133",
  publisher =	 "Springer-Verlag",
  year =	 2004
}

@inproceedings{DDR05FM,
  author =	 "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
  title =	 "Systematic Implementation of Real-Time Models",
  booktitle =	 "Proceedings of Formal Methods 2005 (FM'2005)",
  series =	 "LNCS",
  volume =	 3582,
  pages =	 "139-156",
  publisher =	 "Springer-Verlag",
  year =	 2005
}

@Article{DDR05FAC,
  author =	 "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
  title =	 "Almost {ASAP} Semantics: From Timed Models to Timed
                  Implementations",
  journal =	 {Formal Aspects of Computing},
  publisher =	 "Springer-Verlag",
  year =	 2005,
  volume =	 17,
  number =	 3,
  pages =	 "319--341",
}

@inproceedings{DDR06HSCC,
  author    = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
  title     = "A Lattice Theory for Solving Games of Imperfect Information",
  booktitle = "Proceedings of HSCC 2006: Hybrid Systems---Computation and Control",
  series    = "LNCS",
  volume    = "3927",
  publisher = "Springer-Verlag",
  year      = "2006",
  pages     = "153-168",
  isbn      = "3-540-33170-0"
}

@incollection{DDHR06,
  author    = "{De Wulf}, M. and Doyen, L. and Henzinger, T. A. and Raskin, J.-F.",
  title     = "Antichains: A New Algorithm for Checking Universality of Finite Automata",
  booktitle = "Proceedings of CAV 2006: Computer-Aided Verification",
  series    = "LNCS",
  volume    = "4144",
  publisher = "Springer-Verlag",
  year      = "2006",
  pages     = "17-30",
  isbn      = "3-540-37406-0"
}