Charm: A Language for Closed-Form High-Level Architecture Modeling | IEEE Conference Publication | IEEE Xplore