Jianwei Niu [email protected] University of Waterloo Mapping Specification Notations to Analysis Tools.