@inproceedings{KFF7a,
title = {Modeling the Wind Turbine Benchmark with PWA Hybrid Automata },
author = {Kekatos, Nikolaos and Forets, Marcelo and Frehse, Goran},
year = {2017},
booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
pages = {100--113},
series = {EPiC Series in Computing},
volume = {48},
team = {TEMPO},
bibsource = {EasyChair, http://www.easychair.org},
}