Ph. D. candidate Scuola Superiore S.Anna Pisa - Italy Designing Real-Time Software visiting prof. Baruah Univ. of North Carolina Chapel Hill - NC.