Renker, Gerrit, Ahriz, Hatem, "Building models through formal specification.", , 2004