Siregar, Maria Ulfah   A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications.   In:  A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications.   Springer International Publishing.