Added documentation

Papers from ACC2013 and ECRTS2013 describing the code and the
simulator/implementation.