Reiner W. Hartenstein;Andres Keevallik
-;-
Developing critical systems with PLD components
Proceedings of the 10th international workshop on Formal methods for industrial critical systems