Real-time Java Technologies in support of MILS & multi-partition environments

Links to more information