Leram - Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components