UML-B Specification for Proven Embedded Systems Design