Keywords: سیستم های انتقال مدال; Software product lines; Formal specification; Behavioral specification; Labeled transition systems; Featured transition systems; Modal transition systems; Calculus of communicating systems (CCS); Product line CCS (PL-CCS);