Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems | IEEE Conference Publication | IEEE Xplore