Text this: Part-Whole Behavioral Specification and Composition of Internet of Things Systems