Partitioning the requirements of embedded systems by input/output dependency analysis for compositional creation of parallel test models | IEEE Conference Publication | IEEE Xplore