Abstracting ESL Designs to UPPAAL System Models

Che-Wei Chang and Rainer Doemer, “Abstracting ELS Designs to UPPAAL System Models,” CECS TR 14-13.  Posted on December 8, 2014.