Analysis
 * initial plug-in decomposition
  * integrate the essential existing code with the JPF library.
  * follow the dev_doc diagrams 
 * audit the decomposition every iteration 
 * if needed provide tools to get reports (draw diagrams, etc)