The European Framework Programmes have strong emphasis on complex real-time embedded systems. These systems include increasing portions of software applications, and they are subject to constraints on performance, energy consumption and unit cost. These applications are often expressed as multiple concurrent threads, and this shows a high potential of exploitations. In fact, their thread- and data ...