Presentation by Stefan Rieger (TWT &  URO) proposing verification approaches on SystemC and UPPAAL