Cover-Featured Article in Computer

Our paper “Environment Modeling During Model Checking of Cyberphysical Systems” was cover-featured in Computer September 2021 issue.