@Misc{2019_schett,
  author = 	 {Schett, Maria A.},
  title = 	 {Blockmania QED.},
  howpublished = {Doctoral Symposium at Formal Methods 2019},
  year = 	 {2019}
  note = 	 {\url{http://formalmethods2019.inesctec.pt/wp-content/uploads/2019/09/DSFM19_paper_5.pdf}}
}