Formal Specification of a Cardiac Pacing System.

Artur Oliveira Gomes, Marcel Vincius Medeiros Oliveira

Browse the full FM paper archive.