Eckhardt Holz Modelling interfaces in SDL with gate types. 95-104 1999 SDL Forum db/conf/sdl/sdl1999.html#Holz99