1. SeCSE Project,
http://secse.eng.it
2. Autili, M., Cortellessa, V., Di Marco, A., Inverardi, P.: A Conceptual Model for Adaptable Context-aware Services. In: WS-MATE (2006)
3. Bernardi, S., Donatelli, S., Merseguer, J.: From uml sequence diagrams and statecharts to analysable petri net models. In: 3rd ACM Workshop on Software and Performance, ACM Press, New York (2002)
4. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. Addison-Wesley, Reading (2003)
5. Cortadella, J., Kondratyev, A., Lavagno, L., Passerone, C., Watanabe, Y.: Quasi-static scheduling of independent tasks for reactive systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 24(10) (2005)