Rigorous Development of An Embedded Fault -tolerant System Based on Coordinated Atomic Actions

Xu, J Randall, andrew A

Rigorous Development of An Embedded Fault -tolerant System Based on Coordinated Atomic Actions - 164-179 p.


Introduction
Ca Actions and Production Cell Ii