@Book{focus,
    author = {M. Broy and K. St{\o}len},
    title = {Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement},
    year = {2001},
    publisher = {Springer}
}

 
@MISC{FlexRayConsortium,
  title = {{FlexRay Consortium}},
  howpublished = {\url{http://www.flexray.com}},
  key = {FlexRay}
}

@MANUAL{FlexRayProt,
  title = {{FlexRay Communication System - Protocol Specification - Version
	2.0}},
  organization = {{FlexRay Consortium}},
  year = { 2004 }
}

@inproceedings{efts_book,
    AUTHOR = {C.~K{\"u}hnel and M.~Spichkova},
    TITLE = {{Fault-Tolerant Communication for Distributed Embedded Systems}},
    BOOKTITLE = {Software Engineering and Fault Tolerance},
    SERIES = {Series on Software Engineering and Knowledge Engineering},
    YEAR = {2007}
}

@Book {npw,
  author	= {T. Nipkow and L. C. Paulson and M. Wenzel},
  title		= {{Isabelle/HOL -- A Proof Assistant for Higher-Order Logic}},
  publisher	= {Springer},
  series	= {LNCS}, 
  year		= {2013}
}


@phdthesis {spichkova,
    author = {M. Spichkova},
    title = {{Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle}},
    school = itum,
    year = {2007}
}



 