Formal Specification and Verification of a Coordination Protocol for an...

We detail all of the facets of adapting classical model checking to a real aerospace system, in- cluding deriving the formal model and a set of specifications from natural...