The Ada Connection 2011

A Real-Time Framework for Multiprocessor Platforms Using Ada 2012