UML- B specification for proven embedded systems design - Bernin, Fredrik (Kluwer Academic Publishers, 2004)