Design and Test of Asynchronous Systems Using the Link and Joint Model