Assertion-Based Design (Information Technology: Transmission, Processing & Storage)