"Redundancy Management for CAN BusB. Storni
(1), Leen, G., ¹   (2), Roos, P., ²   (3), Tortosa Lopez, F.,   (2005)
Presented at the SDSS 2005: First annual Workshop on spacecraft Data Systems and Software, ESTEC, Nordwijk, The Netherlands.
(1)AdleSys, (2)CSRC/ISERC, University of Limerick, Ireland. (3)European Space Agency, ESTEC, Nordwijk, The netherlands.

"The AUTOSAR standard - the experience of applying Simulink according to its requirements"
A. Mjeda, ¹   G. Leen, ²   E. Walsh   (2007)
To appear in the proceedings of:SAE World Congress, April 16 - 19, 2007 Detroit, Michigan, USA. Paper No.: 2007-01-0509

"A Network Gateway Patent"
Heffernan, D., ¹   Shaheen, S., ²   Leen, G.,   (2004)
Filed Irish Patent Application. No. 2004/0395. June 2004.

"ICT Based Research at Limerick Contributes to Automotive 'drive-by-wire' Technology"
Heffernan, D., ¹   Leen, G., ²   (2002)
Irish Scientist. Oct. 2002.

"Electronics in the Car: Is the Family Car Growing up to be a Computer Network?"
Heffernan, D., ¹   Leen, G., ²   (2001)
Elements: U.L. Internet Magazine. Vol. 5. June 2001. http://www.ul.ie/elements June 2001.

"On-Chip Timing Logic Enables New Control-by-Wire Solutions Based on Time Triggered Protocols"
Heffernan, D., ¹   Leen, G., ²   (2000)
Proceedings of Analog Devices DEC2000 Conference. Sept. 2000.

"Talking to the car - automotive networks are in the throws of change"
Leen, G., ¹   Heffernan, D., ²   (2000)
Design Engineering Journal, London. Vol. 10-00, Oct. 2000. P. 25-26.

"Digital Networks in the Automotive Vehicle"
Leen, G., ¹   Heffernan, D., ²   Dunne, A.,   (1999)
IEE Computing & Control Engineering Journal. Dec. 1999. Vol. 10, No.6, P. 257 to 266

"Vehicles Without Wires"
Leen, G., ¹   Heffernan, D., ²   (2001)
IEE Computing & Control Engineering Journal. Vol. 12, Issue 5, Oct. 2001 P. 205-211.
The paper has won a special award: "IEE, Sir Frederic Calland Williams Premium: Knowledge Services Award".

"Vehicles Without Wires"
Leen, G., ¹   Heffernan, D., ²   (2001)
IEE Computing & Control Engineering Journal. Vol. 12, Issue 5, Oct. 2001 P. 205-211.
The paper has won a special award: "IEE, Sir Frederic Calland Williams Premium: Knowledge Services Award".

"Time-triggered Controller Area Network"
Leen, G., ¹   Heffernan., ²   (2001)
IEE Computing and Control Engineering Journal. Vol. 12, Issue 6, Dec. 2001. 8 pages.

"A Method and a Communications System for Transmitting Data Between a Plurality of Nodes in a data Communications System"
Leen, G., ¹   Heffernan, D., ²   (2002)
Patent No. S2002/0935. Dec. 2002. 18 pages.

"Standard: International Standards Organisation 11898-4:2004 Road vehicles -Controller area network (CAN) - Part 4: Time-triggered communication"
Leen, G., ¹   Heffernan, D., ²   (2004)
Standard

"Standard: European Cooperation for Space Standards (ECSS):"
Leen, G., ¹   Heffernan., ²   (2004)
Recommendations for CAN Bus in Spacecraft Onboard Application ECSS-E-50-xx (Draft)
Founding and active members of the European Space Agency - CAN in Space Workgroup charged with writing this standard.

"RTDC Group at the University of Limerick contribute to the creation of a standardised architecture for European Space Agency spacecraft."
Leen, G., ¹   Heffernan, D., ²   (2003)
Irish Scientist Yearbook. 2003.

"Expanding Automotive Electronic Systems"
Leen, G., ¹   Heffernan, D., ²   (2002)
IEEE Computer - Outlook Edition. Vol. 35, Issue 1. Jan. 2002. P. 88-93

"TTCAN: A New Time-Triggered Controller Area Network"
Leen, G., ¹   Heffernan, D., ²   (2002)
Microprocessors and Microsystems Journal, Elsevier. March 2002 . Vol. 26, Issue 2. P. 77-94.

"Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a)" Condensed report:" Formal Verification of the TTCAN Protocol"
Leen, G., ¹   Heffernan, D., ²   (2002)
Circulation technical report: ISO Working Group ISO/TC22/SC3/WG1/TF6. PEI/CSRC Report No.: 20020603. Main library, University of Limerick, Ireland. June-2002.

"Modelling and Formal Verification of a Time-Triggered network Protocol"
Leen, G., ¹   Heffernan, D., ²   (2006)
ICONS'06, Mauritius, April 27-29, 2006 (Proceedings - IEEE Computer Society Press)

"Formal Verification for the ROBUS Start-up Protocol"
Leen, G., ¹   Heffernan, D., ²   (2004)
Technical Report: NASA langley Research Centre. Jan. 2004. Pages 1-35.
(not available to the public)