@inproceedings{90735fa4be174670b3348180fd84988d,
title = "Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)",
keywords = "Hybrid automata, Wind turbine, Model transformation, SpaceEx, Simulink, Verification models",
author = "Nikolaos Kekatos and Marcelo Forets and Goran Frehse",
year = "2017",
month = apr,
day = "1",
language = "English",
volume = "48",
series = "EPiC Series in Computing, volume 48.",
booktitle = "ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems.",
}