Some information on IDEF-3 use for process modelling is available via the ARPI (the DARPA/Air Force Research Laboratory Planning Initiative) projects home page on our web server http://www.aiai.ed.ac.uk/~arpi/
The specific experience of using IDEF-3 for Air Campaign Planning process modelling with the USAF and the Pentagon is at
http://www.aiai.ed.ac.uk/~arpi/ACP-MODELS/ACP-OVERVIEW/96-MAR/HTML-DOC/idef3.htm l
This includes a section on some of the benefitrs we gained by using the IDEF-3 method in this project. We also used CommonKADS and Role/Activity Modelling to capture the models we required using an approach here that we call Mult-Perspective Modelling.
---- The ICEIMT hypermail/searchable archives may be found at URL: http://tools.org/EI/ICEIMT/