1. Bastide, R. and Palanque, P. A. (1990). Petri net objects for the design, validation and prototyping of user-driven interfaces. In Diaper, D., Gilmore, D. J., Cockton, G., and Shackel, B., editors, INTERACT 1990, pages 625–631. North-Holland.
2. Bastide, R., Palanque, P. A., Sy, O., Le, D.-H., and Navarre, D. (1999). Petri net based behavioral specification of corba systems. In Donatelli, S. and Kleijn, H. C. M., editors, ICATPN, Lecture Notes in Computer Science, volume 1639, pages 66–85. Springer.
3. Biere, M., Bomsdorf, B., and Szwillus, G. (1999). Specification and simulation of task models with vtmb. In CHI’99 extended abstracts on Human factors in computing systems, pages 1–2. ACM Press.
4. Bodart, F., Hennebert, A. M., Leheureux, J. M., and Vanderdonckt, J. (1995). A modelbased approach to presentation: A continuum from task analysis to prototype. In Bodart, F., editor, Focus on Computer Graphics Series, pages 77–94. Springer-Verlag.
5. Bodart, F., Hennebert, A.-M., Provot, I., Leheureux, J.-M., and Vanderdonckt, J. (1994). A model-based approach to presentation: A continuum from task analysis to prototype. In Paternò, F., editor, DSV-IS, pages 77–94. Springer.