Authors: Allara, A Bombana, M Comai, S Josko, B Schlor, R Sciuto, D

Citation: A. Allara et al., Specification of embedded monitors for property checking, ELECTRONIC CHIPS & SYSTEMS DESIGN LANGUAGES, 2001, pp. 285-294

Authors: Allara, A Bombana, M Fornaciari, W Salice, F

Citation: A. Allara et al., A case study in design space exploration: The Tosca environment applied toa telecommunication link controller, IEEE DES T, 17(2), 2000, pp. 60-72