Architecture for the Internet of Things (IoT): API and Interconnect
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design