Later on I got to work with AtelierB and Rodin (B#) for hardware-software co-design and mapping UML into B and then Bluespec - and then into SystemVerilog for hardware synthesis.
While formal methods and hardware were extremely fun, I got called away to work on something called the "Semantic Device" and moved heavily into some weird stuff called "The Semantic Web" - that's another story of course...
Anyway, BToolkit's source code is available on github and it compiles without problem under Ubuntu 15.04.
Here's a screenshot of a little piece of formal methods history:
|BToolkit running under Ubuntu 15 on VirtualBox|