Jason Agron, David Andrews: Building heterogeneous reconfigurable systems with a hardware microkernel. CODES+ISSS 2009: 393-402