Rapid Prototyping and Animation of Z Specifications Using {log}