Springer - Models in Hardware Testing (12-2009) (ATTiCA).pdf - 7.96 MB