f. von . henke.â ?? rigorous development of a safety-critical system based on coordinated atomic j xu , b randell , a romanovsky , rj stroud , af zorzo
proc . 29th int . symp . fault-tolerant computing