@article{Parker2018, author = "Alice C. Parker", title = "{Specification, simulation and automated design of interfaces and digital circuits}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Specification_simulation_and_automated_design_of_interfaces_and_digital_circuits/6469355", doi = "10.1184/R1/6469355.v1" }