Predictive Software Measures based on Z Specifications - A Case Study - Andreas Bollin; Abdollah Tabareh (WS-FMDS, 2012)