H. Waidyasooriya, M. Hariyama, und K. Kasahara. 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS), Seite 1-5. (Juni 2016)
J. Shen, J. Fang, H. Sips, und A. Varbanescu. Parallel Processing Workshops (ICPPW), 2012 41st International
Conference on, Seite 116--125. ieeexplore.ieee.org, (2012)
J. Shen, J. Fang, H. Sips, und A. Varbanescu. Parallel, Distributed and Network-Based Processing (PDP),
2013 21st Euromicro International Conference on, Seite 38--45. Washington, DC, USA, IEEE Computer Society, (Februar 2013)
H. Xiong, P. Curzon, S. Tahar, und A. Blandford. Integrated Formal Methods, 2335, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)