Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson. Analyzing a wind turbine system: From simulation to formal verification. Science of Computer Programming, 133:216-242, 2017. [doi]
Abstract is missing.