Interactive Systems: Design, Specification, and Verification by Chris Johnson · Bookplated