Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen / Yi Qian