EASI2L: A Specification Format for Automated Block Interface Generation and Verification Author(s): Chintan Kaur, Ravi Narayanaswami, and Richard Ho Year: 2016 Download