Formal Development of a Network-Centric RTOSEric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev · First published 2011Open the Tome
