The Strict Language and Design Methodology, A. M. Koelmans, M. R. McLauchlan and A. P. Robson, Proc. Electronics Design Automation Conference, July 1987, pp79-86.
Principles of Microprocessors, I. L. Sayers, A. P. Robson, A. E. Adams and E. G. Chester, CRC Press, 1991, ISBN 0-8493-8605-5.
EVE Workshop, A. P. Robson and T. Phillips, General Report NPC-GRS-92-1, Department of Computing, University of Northumbria, 1992.
A Yourdon Model for the Implementation of Real-Time Programs on Simple Target Machines, A. P. Robson and W. D. Henderson, Technical Report NPC-TRS-92-4, Department of Computing, University of Northumbria, 1992.
Simstrict, a Behavioural Simulator for use with the Strict Hardware Description Language, A. P. Robson and D. J. Kinnimet, Journal of the British Computer Society, Vol 35, No 6, December 1992, pp651-654.
A Data Flow Model for the Implementation of Real-Time Programs on Simple Target Machines, A. P. Robson and W. D. Henderson, Information and Software Technology, Vol 5 No 1, January 1993.
Concentrated C++, A. P. Robson, General Report NPC-GRS-93-1, Department of Computing, University of Northumbria, 1993.
Design with Inheritance, W. Murray and A. P. Robson, Technical Report NPC-TRS-94-6, Department of Computing, University of Northumbria, 1994.
Practical Formal Development of Real-Time Systems, S. P. Bradley, W. D. Henderson, W. H. Kendall and A. P. Robson, 11th IEEE Workshop on Real-Time Operating Systems and Software, RTOSS '94, Seattle.
Application-Oriented Real-Time Algebra, S. P. Bradley, W. D. Henderson, W. H. Kendall and A. P. Robson, Software Engineering Journal 9(5), September 1994, pp201-212. (also appears in technical report series)
Designing and Implementing Correct Real-Time Systems, S. P. Bradley, W.D. Henderson, W. H. Kendall and A. P. Robson, Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT '94, Lubeck, Lecture Notes in Computer Science 863, pp228-246.
A Formally Based Hard Real-Time Kernel, S. P. Bradley, W. D. Henderson, W. H. Kendall and A.P.Robson, Microprocessors and Microsystems 18(9), November 1994, pp513-521. Department of Computing, University of Northumbria, (also appears in technical report series)
On Behaviour, Inheritance and Evolution, W. G. Murray and A. P. Robson, Journal of Object-Oriented Programming, Vol.8, No. 5, September 1995, pp38-42.
Modelling data in a real-time algebra, S. Bradley, W. D. Henderson, D. Kendall and A. P. Robson, Technical Report NPC-TRS-95-1, Department of Computing, University of Northumbria, 1995.
A Formal Design and Implementation Method For Systems With Predictable Performance, S. Bradley, W. D. Henderson, D. Kendall, A. P. Robson and S. Hawkes, Technical Report NPC-TRS-95-2, Department of Computing, University of Northumbria, 1995.
Validation, Verification and Implementation of Timed Protocols using AORTA, S. Bradley, D. Kendall, W. D. Henderson and A. P. Robson, Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing and Verification, Chapman and Hall, June 1995, pp193-208.
Priority-Based Scheduling Implementations of a Real-Time Process Algebra, S. Bradley, W. D. Henderson, D. Kendall and A. P. Robson, Technical Report NPC-TRS-95-4, Department of Computing, University of Northumbria, 1995.
Friendship and Encapsulation in C++, A. P. Robson, Technical Report NPC-TRS-95-8, Department of Computing, University of Northumbria, 1995.
A Formal Design and Implementation Method for Real-Time Embedded Systems, S. Bradley, W. Henderson, D. Kendall, A. P. Robson and S. Hawkes, Proceedings of the 22nd EUROMICRO Conference, IEEE, September 1996, pp 77-84.
The programmer's guide to C++, A. P. Robson, UCL Press, 1996, ISBN 1-8572-8437-2.
A Formal Basis for Tool-supported
Simulation and Verification of Real-Time CAN Systems,
D. Kendall, S. Bradley, W. Henderson, and A. Robson, Proceedings of 4th
International CAN Conference (iCC'97), CAN in Automation, Berlin, pages
719-727, October 1997.
Integrating AORTA with Model-Based
Data Specification Languages,
S. Bradley, W. Henderson, D. Kendall, and A. Robson, Proceedings of
Conference on Fundamental Approaches to Software Engineering (FASE'98),
volume 1382 of LNCS, March 1998.
bCANDLE: Formal Modelling and
Analysis of CAN Control Systems,
D. Kendall, S. Bradley, W. Henderson, and A. Robson, Proceedings of 4th
IEEE Real Time Technology and Applications Symposium (RTAS'98), pages
171-177, June 1998.
Modelling and Analysis of Broadcasting Embedded Control Systems, D. Kendall, W. Henderson, and A. Robson, IEE Colloquium on Real-Time Systems: Can we meet future challenges?, Digest No. 1998/306, London, UK, pages 8/1-4, April 1998.
CANDLE: A High Level Language and Development Environment for High Integrity CAN Control Systems, D. Kendall, S. Bradley, W. Henderson, and A. Robson, Proceedings of 4th IEE Workshop on Discrete Event Systems, Cagliari, pages 58-63, August 1998.
Xrma: An holistic approach to performance prediction of distributed real-time CAN systems, W. Henderson, D. Kendall, A. Robson, and S. Bradley, Proceedings of the 5th International CAN Conference (iCC'98), CAN In Automation, San Jose, California, USA, pages 917-924, November 1998.
Using Sharing Trees in the Automated Analysis of Real-Time Systems with Data, D. Kendall, W. Henderson, and A. Robson, IEE Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems, Ref. No. 1999/006, London, UK, pages 6/1-4, January 1999.
Space Efficient Reachability
Analysis for a Value Passing, Timed Process Algebra,
D. Kendall, W. Henderson, and A. Robson, Internal report, July 1999.
Accounting for Clock Frequency Variation in the Analysis of Distributed Factory Control Systems, W. D. Henderson, D. Kendall, and A. P. Robson, Proceedings of 3rd IEEE International Workshop on Factory Communication Systems, Porto, September 2000, p51-58.
G. Schwake, Dependency verification for electronic data interchange with binary decision diagrams, PhD thesis, Department of Computing, Northumbria University, 2001.
A formal design language for real-time systems with data, S. Bradley, W. Henderson, D. Kendall, and A. Robson, Science of Computer Programming, 40(1):3-29, 2001.
Improving the Accuracy of Scheduling Analysis applied to Distributed Systems - Computing Minimal Response Times and Reducing Jitter, W. Henderson, D. Kendall, and A. Robson, Journal of Real-Time Systems, 20(1):5-25, 2001.
Automatic Schedule Computation for Distributed Real-Time System Using Timed Automata, Y. S. Park, W.H. Henderson and A. P. Robson, KSEAUK 32 Anniversary Conference, 2006.
Y. S. Park, Automatic schedule computation for distributed real-time systems using timed automata, PhD thesis, School of Computing, Engineering and Information Sciences, Northumbria University, 2008.
