A software quality assurance procedure to assure a reliable software device | IEEE Conference Publication | IEEE Xplore