Formal Modeling for Deploying Improvement and Innovation in Information Technology. - Philippe Michelin; Marc Frappier (KMIS, 2009)

Distinction-based and verification-assisted knowledge modeling. - Philippe Michelin; Marc Frappier (RELAW, 2010)