ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications