%0 Journal Article
%T Using coordinated atomic actions to design safety‐critical systems: a production cell case study
%A Zorzo, A. F.
%A Romanovsky, A.
%A Xu, J.
%A Randell, B.
%A Stroud, R. J.
%A Welch, I. S.
%J Software: Practice and Experience
%V 29
%N 8
%P 677-697
%@ 0038-0644
%D 1999-10-10
%I Wiley Subscription Services, Inc., A Wiley Company
%~ DeepDyve