Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. - Marten Sijtema; Axel Belinfante; Mariëlle Stoelinga; Lawrence Marinelli (Sci. Comput. Program., 2014)