Paulo Leitão, Armando W. Colombo, Francisco Restivo. A formal specification approach for holonic control systems: the ADACOR case. IJMTM, 8(1/2/3):37-57, 2006. [doi]
@article{LeitaoCR06,
title = {A formal specification approach for holonic control systems: the ADACOR case},
author = {Paulo Leitão and Armando W. Colombo and Francisco Restivo},
year = {2006},
doi = {10.1504/IJMTM.2006.008790},
url = {http://dx.doi.org/10.1504/IJMTM.2006.008790},
tags = {control systems, systematic-approach},
researchr = {https://researchr.org/publication/LeitaoCR06},
cites = {0},
citedby = {0},
journal = {IJMTM},
volume = {8},
number = {1/2/3},
pages = {37-57},
}