Experience Report on Designing and Developing Control Components Using Formal Methods. - Ammar Osaiweran; Tom Fransen; Jan Friso Groote; Bart J. van Rijnsoever (FM, 2012)