From Specifications to Code Compliance Checkers. - Y. Prasanth; Sanjeev K. Aggarwal (IASTED Conf. on Software Engineering, 2005)