System-Level Types for Component-Based Design.

Edward A. Lee, Yuhong Xiong

Browse the full EMSOFT paper archive.