1. Knut Åkesson , Martin Fabian , Hugo Flordal , and Robi Malik . 2006 . Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems . In 2006 8th International Workshop on Discrete Event Systems. IEEE. https://doi.org/10 .1109/wodes.2006.382401 10.1109/wodes.2006.382401 Knut Åkesson, Martin Fabian, Hugo Flordal, and Robi Malik. 2006. Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems. In 2006 8th International Workshop on Discrete Event Systems. IEEE. https://doi.org/10.1109/wodes.2006.382401
2. Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking (Representation and Mind Series) . The MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press.
3. Applying supervisory control synthesis to priced featured automata and energy problems;Basile Davide;International Journal on Software Tools for Technology Transfer,2019
4. Davide Basile , Maurice H. ter Beek , Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, and Felicita Di Giandomenico. 2020 . Controller synthesis of service contracts with variability. Science of Computer Programming 187 (feb 2020), 102344. https://doi.org/10.1016/j.scico.2019.102344 10.1016/j.scico.2019.102344 Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, and Felicita Di Giandomenico. 2020. Controller synthesis of service contracts with variability. Science of Computer Programming 187 (feb 2020), 102344. https://doi.org/10.1016/j.scico.2019.102344
5. Automated analysis of feature models 20 years later: A literature review