GENERATING A TRANSITION SYSTEM FOR USE WITH MODEL CHECKING Application WO-2008034170-A1 World Intellectual Property Organisation (WIPO) 27 Mar 2008