Daniel M. Berry
University of Waterloo, Ontario, Canada
Rapid Application of Lightweight Formal Methods for Consistency Analyses
IEEE Transactions on Software Engineering