Doctor by the Universitat Autònoma de Barcelona with the thesis PML - A modeling Language for Physical Knowledge Representation 2004. Supervised by Dr. Miquel Àngel Piera Eroles.