Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: An Event-B formalization of KAOS goal refinement patterns
Formal refinement patterns for goal-driven requirements elaboration
Evaluation of the Goal-Oriented Requirements Engineering Method KAOS
Abstraction Refinement for Probabilistic Software
Modeling of multiversion concurrency control system using Event-B
Formal Reasoning Techniques for Goal Models
A refactoring constraint language and its application to eiffel
Tackling variety in event-based systems
A Model for Reasoning with Uncertain Rules in Event Composition Systems
Sase+: An agile language for kleene closure over event streams
A compositional theory of refinement for branching time
Automating commonsense reasoning using the event calculus
A logic-based calculus of events
ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics
Boogie: A modular reusable verifier for object-oriented programs
Ten Commandments of Formal Methods
goal : a graphical tool for manipulating buchi automata and temporal formulae .
Where do goals come from: the underlying principles of goal-oriented requirements engineering
Two Structures for Compositionally Derived Events
Towards a pattern language for object oriented design
An Event-Based Architecture Definition Language
Representing and Using Non-Functional Requirements: A Process-Oriented Approach
Lifetime costs of cerebral palsy
Effect of catalyst shape and etchant composition on etching direction in metal-assisted chemical etching of silicon to fabricate 3D nanostructures.
practical science communication strategies for graduate students .
Closed loop identification with Youla parameterization and neural nets