TLM protocol compliance checking at the Electronic System Level. - Mohamed Bawadekji; Daniel Große; Rolf Drechsler (DDECS, 2011)