@article {IOPORT.50336468,
    author       = {Rau, Andreas},
    title        = {Verwendung von zusicherungen in einem modellbasierten entwicklungsprozess (Using assertions and watchdogs in a model-based development process)},
    year         = {2002},
    journal      = {it+ti - Informationstechnik und Technische Informatik},
    volume       = {44},
    number       = {3},
    pages        = {137-144},
    doi          = {10.1524/itit.2002.44.3.137},
    identifier   = {50336468},
}