Documentation, tutorials and examples of how to use IBM Rational Rhapsody for formally modeling embedded systems.