Interactive Systems Design Specification, and Verification