BibTex format
@inproceedings{Alsop:1996:10.1016/0098-1354(96)00252-9,
author = {Alsop, N and Camillocci, LS and Sanchez, A and Macchietto, S},
doi = {10.1016/0098-1354(96)00252-9},
pages = {S1481--S1486},
publisher = {PERGAMON-ELSEVIER SCIENCE LTD},
title = {Synthesis of procedural controllers - Application to a batch pilot plant},
url = {http://dx.doi.org/10.1016/0098-1354(96)00252-9},
year = {1996}
}