A formal approach to structural health monitoring design