Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker.