A Model Checking Framework for Layered Command and Control Software
Kathi Fisler, Shriram Krishnamurthi, Don S. Batory, Jia Liu
Monterey Workshop on Engineering Automation for Software Intensive System Integration, 2001
Comment
This is a workshop paper, low on technical detail. Please refer to the corresponding conference paper. instead.