Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems