?url_ver=Z39.88-2004&rft_id=10.1016%2FS0098-1354(00)00481-6&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Chavoya+Pena&rft.aufirst=Arturo&rft.issue=2-7&rft.volume=24&rft.date=2000&rft.issn=0098-1354&rft.atitle=Formal+Implementation+of+Procedural+Controllers+for+Event-Driven+Sequential+Systems+in+Chemical+Processes&rft.title=Computers+and+Chemical+Engineering&rft.pages=297-302&rft.genre=article