A Software-Reuse Method from Model1 to SSH2 | IEEE Conference Publication | IEEE Xplore