BibTex format
@inproceedings{Cardoso:2012:10.1109/DSD.2012.33,
author = {Cardoso, JMP and Carvalho, T and Coutinho, JGF and Diniz, PC and Petrov, Z and Luk, W},
doi = {10.1109/DSD.2012.33},
pages = {226--233},
title = {Controlling hardware synthesis with aspects},
url = {http://dx.doi.org/10.1109/DSD.2012.33},
year = {2012}
}