T. K. Shih, “A Z Specification Approach to Multimedia Modeling”, Comput. Inform., vol. 16, no. 5, pp. 465–495, Jan. 2012.