![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
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);