A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO+