Do add comments here if you wish. — Jonathan 21:59, 9 March 2009 (UTC)
It was taken to our attention that the http://formalmethods.wikia.com/wiki/Companies page did not mention our company… I tried to add it, but the page appeared to be locked.
Would you please be kind enough to add Systerel (http://www.systerel.fr) to the list, or else give me the indication on how to do it myself.
Thank you very much for your help.