On the public citation graph
Specification and verification of reactive system behaviour: The Railroad Crossing example
0 signed · 22 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-55092-5_32openalex-snapshot
Timed and Hybrid Statecharts and their textual representation
inferredcites →https://doi.org/10.1109/hicss.1988.11840openalex-snapshot
Semantics of Modechart in real time logic
inferredcites →https://doi.org/10.1109/tse.1986.6313045openalex-snapshot
Safety analysis of timing properties in real-time systems
inferredcites →https://doi.org/10.21236/ada246612openalex-snapshot
Evaluation Criteria for Real-Time Specification Languages
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_3openalex-snapshot
Deductive verification of real-time systems using STeP
inferred← citeshttps://doi.org/10.1007/bf02745370openalex-snapshot
On the use of a formal requirements engineering language: The Generalized Railroad Crossing Problem
inferred← citeshttps://doi.org/10.1007/s001650070032openalex-snapshot
ADL: An Activity Description Language for Real-Time Networks
inferred← citeshttps://doi.org/10.1016/j.sysarc.2020.101707openalex-snapshot
Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems
inferred← citeshttps://doi.org/10.1016/s0164-1212(97)00168-4openalex-snapshot
Industrial integration of graphical and formal specifications
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00088-8openalex-snapshot
Deductive verification of real-time systems using STeP
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00036-6openalex-snapshot
A framework and patterns for the specification of reactive systems
inferred← citeshttps://doi.org/10.1016/s0950-5849(98)00109-8openalex-snapshot
Life-cycle of a dual object-oriented specification model for real-time systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)36341-3openalex-snapshot
Application of Cfsmcharts for Modelling Real-Time and Industrial Embedded Systems
inferred← citeshttps://doi.org/10.1109/3468.895892openalex-snapshot
Verification of external specifications of reactive systems
inferred← citeshttps://doi.org/10.1109/hcc.2001.995294openalex-snapshot
Visualization/animation of programs based on abstract representations and formal mappings
inferred← citeshttps://doi.org/10.1109/isre.1997.566850openalex-snapshot
On the use of a formal RE language-the generalized railroad crossing problem
inferred← citeshttps://doi.org/10.1109/wift.1995.515476openalex-snapshot
The architectural specification of an avionic subsystem
inferred← citeshttps://doi.org/10.1145/349194.349197openalex-snapshot
Temporal logics for real-time system specification
inferred← citeshttps://doi.org/10.13053/cys-8-1-1075openalex-snapshot
Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.