Formal semantics of some functional constructs of the software requirements definition language NDRDL | IEEE Conference Publication | IEEE Xplore