A.  Agostini, Balluchi, A., Bicchi, A., Piccoli, B., Sangiovanni Vincentelli, A., and Zadarnowska, K., ?Randomized Algorithms for Platform?based Design?, in Proc. IEEE Int. Conf. on Decision and Control, 2005, pp. 6638 - 6643.