Benjamin AzizBooksEngineering Secure Internet of Things SystemsFormal Analysis by Abstract InterpretationAuthor data: Open Library