"Resource usage contracts for .NET" (2011) Tapicer, J.; Garbervetsky, D.; Rouaux, M. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:56

"VTS-based specification and verification of behavioral properties of AADL models" (2008) Monteverde, D.; Olivero, A.; Yovine, S.; Braberman, V. 1st International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008. 503:23-37