Authors: Zorzo, AF Romanovsky, A Xu, J Randell, B Stroud, RJ Welch, IS

Citation: Af. Zorzo et al., Using coordinated atomic actions to design safety-critical systems: a production cell case study, SOFTW PR EX, 29(8), 1999, pp. 677-697