$?$Which type of system requires the most rigorous and analyzable specifications

Entertainment systems $.$a $$

Batch processing systems $.$b $$

Interactive transaction$-$based applications $$

Safety$-$critical control systems

d $$