Andrei Lobov, Jose L. Martinez Lastra. An identification of system key attributes in structural reasoning for formal validation of industrial programming. In IEEE International Conference on Robotics and Biomimetics, ROBIO 2008, February 22-25, 2009, Bangkok, Thailand. pages 1242-1248, IEEE, 2008. [doi]
Abstract is missing.