@inproceedings{Bre2013,
Author = {Brenner, Christian and Heinzemann, Christian and Schäfer, Wilhelm and Henkler, Stefan},
Title = {Automata-Based Refinement Checking for Real-Time Systems},

Year = {2013},
Pages = {99-112},
Month = {01},
Publisher = {GI},
Booktitle = {Proceedings of Software Engineering 2013 (SE 2013)},
Organization = {GI},
type = {inproceedings},
note = {accepted},
Abstract = {accepted}
}
@COMMENT{Bibtex file generated on }