Luke J. W. Martin, Alexander Romanovsky. A Formal Approach to Designing Reliable Advisory Systems. In Ivica Crnkovic, Elena Troubitsyna, editors, Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. Volume 9823 of Lecture Notes in Computer Science, pages 28-42, Springer, 2016. [doi]
Abstract is missing.