An OOA model with system function specifications | IEEE Conference Publication | IEEE Xplore