Books by Scotland) IEEE International Conference and Workshop on the Engineering of Computer Based Systems (7th : 2000 : Edinburgh on BookTides.