James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). Decomposing scheme plans to manage verification complexity. FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems.

James, Phillip, Faron Moller, Hoang Nguyen, Markus Roggenbach, Steve Schneider, and Helen Treharne. "Decomposing Scheme Plans to Manage Verification Complexity." FORMS/FORMAT- 10th Symposium On Formal Methods for Automation and Safety in Railway and Automotive Systems 2014.

James, Phillip, et al. "Decomposing Scheme Plans to Manage Verification Complexity." FORMS/FORMAT- 10th Symposium On Formal Methods for Automation and Safety in Railway and Automotive Systems 2014.