DOI,IST REx ID,Research Group,Title of publication
10.1007/s10009-011-0207-9,2299,"KrCh,ToHe",Synthesis of AMBA AHB from formal specification: A case study