An operational requirement description model for open systems | IEEE Conference Publication | IEEE Xplore