@InProceedings{BadLeuSma09,
  author = 	 {Bahareh Badban and Stefan Leue and Jan-Georg Smaus},
  title = 	 {Automated Invariant Generation for the Verification
                  of Real-Time Systems},
  booktitle = 	 {Proceedings of the 2nd International Workshop on
                  Invariant Generation},
  year =	 2009,
  editor =	 {Andrew Ireland and Laura Kov{\´a}cs}
}