A Petri net based approach for establishing necessary software design and testing requirements | IEEE Conference Publication | IEEE Xplore