Formal specifications in software and system development; validation; verification; presentation of information; practical