@book { EntwicklungeinesKonzepteszurmodellbasiertenVerifikationvonFahrzeugcodierdaten,
    title = "Entwicklung eines Konzeptes zur modellbasierten Verifikation von Fahrzeugcodierdaten",
    author = "Karl {Müller}",
    year = "2011",
    publisher = "Diplom.de",
    address = "Hamburg, Deutschland",
    doi = "10.3239/9783842815278",
    url = "https://m.diplom.de/document/228523"
}