1. Meyer, J.J., Wieringa, R.J.: Deontic logic: A concise overview. In: DEON 1991. First International Workshop on Deontic Logic (1991)
2. Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Vrije University Amsterdam (2003)
3. Maibaum, T.S.E., Khosla, S.: The prescription and description of state-based systems. In: Barringer, H.B., Pnueli, A. (eds.) Temporal Logic in Computation, Springer, Heidelberg (1985)
4. Meyer, J.J.: Dynamic logic for reasoning about actions and agents. In: Workshop on Logic-Based Artificial Intelligence, Washington, DC (June 14-16, 1999)
5. Magee, J., Maibaum, T.S.E.: Towards specification, modelling and analysis of fault tolerance in self managed systems. In: Proceeding of the 2006 international workshop on self-adaptation and self-managing systems (2006)