Visible to the public CAREER: Towards a Secure and Reliable Internet of Things through
 Automated Model Extraction and Analysis

License: 
Creative Commons 2.5