Ed Brinksma;Rom Langerak;Peter Broekroelofs
-;-;-
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
IEEE Transactions on Software Engineering
Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance