shell/#exec none, 04 May 2013 http://link.springer.com/content/pdf/10.1007%2F3-540-40064-8_14.pdf http://link.springer.com/content/pdf/10.1007%2F3-540-40064-8…