Rodrigues N, Barbosa LS.? 2008.??Extracting and verifying coordination models from source code. Proceedings of FLOSS-FM/OpenCert Joint International Workshop at OOS'08. :64-78.