Development and evaluation of Formula Editor (a tool-based approach to enhance reusability in software product line model checking) on SAFER case study رسالة ماجستير