Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis. A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. In Paris Avgeriou, editor, Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. Volume 7527 of Lecture Notes in Computer Science, pages 16-31, Springer, 2012. [doi]
Abstract is missing.