A single master cylinder may be used, if it has dual circuit Spider Diagram
Element View:
Spider Diagram
Property Sheet
Verification Tree