SIL 4 process improvement with POSE and Alloy