1. Agnello, L., Cossentino, M., De Simone, G., Sabatucci, L.: Shipboard power systems reconfiguration: a compared analysis of state-of-the-art approaches. In: Smart Ships Technology 2017, pp. 1–9. Royal Institution of Naval Architects (RINA) (2017)
2. Bordini, R., Hübner, J., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason, vol. 8. Wiley-Interscience, Chichester (2007)
3. Gelfond, M., Lifschitz, V.: Action languages. Comput. Inf. Sci. 3(16), 1–16 (1998)
4. Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison Wisley, Boston (2001)
5. Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: Proceedings of the 17th International Conference on Software Engineering, ICSE 1995, pp. 15–24. ACM, New York (1995).
https://doi.org/10.1145/225014.225016