This page collects the SysML diagrams specifying the Room system in the book. The diagrams are only a partial description of the system - we might in the future add more diagrams to cover the systems completely.
In addition, we have collected the SysML code examples use in the book.