Pradhan, S., Dubey, A., Levendovszky, T., Kumar, P. S., Emfinger, W. A., Balasubramanian, D., et al. (2016). . Journal Of Systems And Software, 122, 344-363. http://doi.org/https://doi.org/10.1016/j.jss.2016.05.038 (Original work published December 2016)