Verification Components Reuse. - Assim Sagahyroon; Geetha Lakkaraj; Maddu Karunaratne (J. Comput., 2012)