COMPLeTe - A COMmunication Protocol vaLidation Toolchain. - Sven Gröning; Christopher Rosas; Christian Wietfeld (SPIN, 2013)