Two-level grammar as an object-oriented requirements specification language | IEEE Conference Publication | IEEE Xplore