An approach for system tests design and its application | IEEE Conference Publication | IEEE Xplore