«Formal Methods Applied to Industrial Complex Systems», Jean-Louis Boulanger benzeri kitaplar