Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses