Formal engineering for industrial software development : using the SOFL method - Liu, Shaoying , 1960- (Springer, 2004)