Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems. - Yangping Li; Xiaoheng Pan; Tianming Hu; Sam Yuan Sung; Huaqiang Yuan (J. Softw., 2014)