"A refinement-based approach to developing critical multi-agent systems."

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics