Miles formulae for boolean models observed on lattices