Developing control software for production cell ii: Failure analysis and system design using ca actions (1998)

by J Xu, B Randell, A Romanovsky, R J Stroud, E Canver
Venue:in: Proc. of the 3rd International Workshop on Design for Validation, Louvain-La-Neuve