@TechReport{	  hermann.li.ea:requirements,
  author	= {Ben Hermann and Ximeng Li and Heiko Mantel and Mira Mezini
		  and Markus Tasch and Florian Wendel},
  title		= {Requirements for a Specification Language for Data and
		  Information Flow, and A Literature Review of Analytical and
		  Constructive Research on the Java Native Interface},
  institution	= {TU Darmstadt},
  year		= 2017,
  number	= {TUD-CS-2017-0025},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2017/CRISP-Requirements-LiteratureReview.pdf}
}