_id,doi,title
2299,10.1007/s10009-011-0207-9,Synthesis of AMBA AHB from formal specification: A case study