@inproceedings{inproceedingscbe51f55,
title   = {Toward a formal approach to functionality in the design of discrete flexible systems},
author = {Silva, José Reinaldo and Miyagi, Paulo Eigi},
year = {1996},
publisher = {Elsevier},
booktitle   = {Annual Conference of ICMMS-NDE}
}