Author: Ada-Europe International Conference on Reliable Software Technologies (1999 Santander, Spain)