@inbookKrupp_Müller_2004, place=Dordrecht, title=Refinement of Finite State Machines with Complementary Model Checking, booktitle=UML-B System Specification for Proven Electronic Design, publisher=Kluwer, author=Krupp, Alexander and Müller, Wolfgang, editor=Mermet, J., year=2004, pages=155–168 

@inbookKrupp_Müller_Oliver_2004, place=Dordrecht, title=The Echo Cancellation Unit Case Study, booktitle=UML-B System Specification for Proven Electronic Design, publisher=Kluwer, author=Krupp, Alexander and Müller, Wolfgang and Oliver, Ian, editor=Mermet, J., year=2004, pages=227–240