@InProceedings{	  mantel:framework:2005,
  address	= {Alexandria , VA, USA},
  author	= {Heiko Mantel},
  booktitle	= {Proceedings of the 3rd ACM Workshop on Formal Methods in
		  Security Engineering: From Specifications to Code (FMSE)},
  month		= {November 11},
  pages		= {53--62},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2005/2005-fmse.pdf},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2005/2005-fmse.PS.zip},
  publisher	= {ACM},
  title		= {The Framework of Selective Interleaving Functions and the
		  Modular Assembly Kit},
  year		= 2005
}