Tornado and VxWorks what's not in the manual - Wehner, Christoph (<<C.>> Wehner, 2004)