Faltings, Boi V.Liver, Beat2005-03-162005-03-16199610.5075/epfl-thesis-1519https://infoscience.epfl.ch/handle/20.500.14299/210003enA functional model of software and its application in troubleshooting, design and reusethesis::doctoral thesis