@inproceedings{FM-2016-HouSTLH,
	author        = "Zhe Hou and David Sanán and Alwen Tiu and Yang Liu 0003 and Koh Chuen Hoa",
	booktitle     = "{Proceedings of the 21st International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-48989-6_24",
	isbn          = "978-3-319-48988-9",
	pages         = "388--405",
	title         = "{An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor}",
	year          = 2016,
}