A tool for automated system analysis based on modular specifications | IEEE Conference Publication | IEEE Xplore