G. Abowd, G. Hayes, G. Iachello, J. Kientz, S. Patel et al., Prototypes and Paratypes: Designing Mobile and Ubiquitous Computing Applications, IEEE Pervasive Computing, vol.4, issue.4, pp.67-73, 2005.
DOI : 10.1109/MPRV.2005.83

L. Braubach, A. Pokahr, D. Moldt, A. Bartelt, and W. Lamersdorf, Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing, In: Interactive Systems. Lecture Notes in Computer Science, vol.2545, pp.89-103, 2002.
DOI : 10.1007/3-540-36235-5_7

M. Buchenau and J. Suri, Experience prototyping, Proceedings of the conference on Designing interactive systems processes, practices, methods, and techniques, DIS '00, pp.424-433, 2000.
DOI : 10.1145/347642.347802

N. Davies, J. Landay, S. Hudson, and A. Schmidt, Guest Editors' Introduction: Rapid Prototyping for Ubiquitous Computing, IEEE Pervasive Computing, vol.4, issue.4, pp.15-17, 2005.
DOI : 10.1109/MPRV.2005.78

T. Disz, M. Papka, and R. Stevens, UbiWorld: an environment integrating virtual reality, supercomputing, and design, Proceedings Sixth Heterogeneous Computing Workshop (HCW'97), pp.46-59, 1997.
DOI : 10.1109/HCW.1997.581409

G. Gallasch and L. Kristensen, Comms/CPN: A communication infrastructure for external communication with design/CPN, 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01, pp.75-90, 2001.

D. Garlan, D. Siewiorek, A. Smailagic, and P. Steenkiste, Project Aura: toward distraction-free pervasive computing, IEEE Pervasive Computing, vol.1, issue.2, pp.22-31, 2002.
DOI : 10.1109/MPRV.2002.1012334
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.7105

M. Harrison, J. Campos, G. Doherty, and K. Loer, Connecting rigorous system analysis to experience centred design, Maturing Usability: Quality in Software, Interaction and Value Human Computer Interaction Series, pp.56-74, 2008.

A. Harter, A. Hopper, P. Steggles, A. Ward, and P. Webster, The anatomy of a context-aware application, Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '99, pp.1-16, 2001.
DOI : 10.1145/313451.313476

K. Jensen, L. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4, 2007.
DOI : 10.1007/s10009-007-0038-x

K. Jensen and L. M. Kristensen, Coloured Petri Nets ? Modelling and Validation of Concurrent Systems, 2009.

Y. Li, J. Hong, and J. Landay, Topiary, Proceedings of the 17th annual ACM symposium on User interface software and technology , UIST '04, pp.217-226, 2004.
DOI : 10.1145/1029632.1029671

M. Massink, D. Duke, and S. Smith, Towards hybrid interface specification for virtual environments Design, Specification and Verification of Interactive Systems '99, pp.30-51, 1999.

D. Navarre, P. Palanque, R. Bastide, A. Schyn, M. Winckler et al., A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications, Lecture Notes in Computer Science, vol.55, issue.2, pp.170-183, 2005.
DOI : 10.1006/ijhc.2001.0474

O. Neill, E. Lewis, D. Conlan, and O. , A simulation-based approach to highly iterative prototyping of ubiquitous computing systems, 2nd International Conference on Simulation Tools and Techniques, pp.1-10, 2009.

A. A. Shirehjini and F. Klar, 3DSim, Proceedings of the 2005 joint conference on Smart objects and ambient intelligence innovative context-aware services: usages and technologies, sOc-EUSAI '05, 2005.
DOI : 10.1145/1107548.1107621

J. Silva, J. Campos, and M. Harrison, An infrastructure for experience centred agile prototyping of ambient intelligence, Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.79-84, 2009.

S. Smith, D. Duke, and M. Massink, The Hybrid World of Virtual Environments, Computer Graphics Forum, vol.18, issue.3, pp.287-307, 1999.
DOI : 10.1111/1467-8659.00350

M. Westergaard and K. B. Lassen, The BRITNeY Suite Animation Tool, Lecture Notes in Computer Science, vol.4024, pp.431-440, 2006.
DOI : 10.1007/11767589_26