https://ledubusary.springhigheredcio.com/language-constructs-for-defining-features-for-reactive-systems-book-27215uf.php