Affiliation: | aDepartment of Computing Science, Chalmers University of Technology and Göteborg University, 412 96 Göteborg, Sweden bResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology, Nakoji 3-11-46, Amagasaki, Hyogo 661-0974 Japan |