@inproceedings{BBB+10f,
title = {Systematic Correct Construction of Self-stabilizing Systems: A Case Study },
author = {Basu, Ananda and Bonakdarpour, Borzoo and Bozga, Marius and Sifakis, Joseph},
year = {2010},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings},
pages = {4-18},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6366},
team = {DCS, RSD},
}
