EP1545066A3 - Systems and methods that employ process algebra to specify contracts and utilize performance prediction implementations thereof to measure the specifications