The sources for Byteman lab on DefConf 2013