@inproceedings{FM-2016-HayesCMWV,
	author        = "Ian J. Hayes and Robert J. Colvin and Larissa A. Meinicke and Kirsten Winter and Andrius Velykis",
	booktitle     = "{Proceedings of the 21st International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-48989-6_22",
	isbn          = "978-3-319-48988-9",
	pages         = "352--369",
	title         = "{An Algebra of Synchronous Atomic Steps}",
	year          = 2016,
}