Yury Belevskiy: Optimization of TrAdeCIS; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, February 2016, URL: https://files.ifi.uzh.ch/CSG/staff/garg/extern/theses/TrAdeCIS_Improvements_YB_MBM.pdf.