@mastersthesis{Sattler00,
        AUTHOR             = {Theo Sattler},
        school       = {{F}akult\"{a}t f\"{u}r Informatik, {U}niversit\"{a}t {K}arlsruhe},
        MONTH              = jan,
        TITLE              = {Einbindung formaler {C}onstraints 
                              in {UML} {S}pezifikationen},
        YEAR               = {2000}
}