The report entitled A Refinement Strategy for Hybrid System Design with Safety Constraints is giving details on the method Event-B in hybrid strategy.
The report entitled From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems studies the integreation of both approaches system and software.
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions.