Below is a table that lists heterogenous models by top level domain and second level domain.

Click on the + or - to see examples that work and don't work.

Note that not all combinations make semantic sense.

Top Level Domain
    CSP CT DE FSM Giotto PN PSDF SDF SR
Second Level Domain
CSP
CT CT/CT +, +, +, +, + DE/CT +, +
DE CT/DE +, + DE/DE +
FSM CT/FSM + DE/FSM + SDF/FSM +
Giotto DE/Giotto +
PN DE/PN + PN/PN +
PSDF PN/PSDF + SDF/PN +
SDF CSP/SDF + DE/SDF + PN/SDF +, - SDF/SDF + SR/SDF +, -, -
SR CSP/SR +, + PN/SR +, +, -, - SDF/SR +, +, - SR/SR +