Title: Design and verification of information systems