A Comparison of Z and UML: Two Case Studies. - Bing Dong Li; Mansur H. Samadzadeh (PLC, 2005)