Mark Lawford - RankMe

117 papers A 4B 12C 10Misc 2Journal 41Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Ensembles-based Feature Guided Analysis. CoRR Federico Formica, Stefano Gregis, Andrea Rota, Aurora Francesca Zanenga, Mark Lawford, Claudio Menghi
2025	—	`conf`	Can Generative AI Produce Test Cases? An Experience from the Automotive Domain. SIGSOFT FSE Companion Stephen Wynn-Williams, Ryan Tyrrell, Vera Pantelic, Mark Lawford, Claudio Menghi, Phaneendra Nalla, Hassan Artail
2025	—	`conf`	Engineering Automotive Digital Twins on Standardized Architectures: A Case Study. MODELS-C Stefan Ramdhan, Winnie Trandinh, Istvan David, Vera Pantelic, Mark Lawford
2025	J	`jnl`	Engineering Automotive Digital Twins on Standardized Architectures: A Case Study. CoRR Stefan Ramdhan, Winnie Trandinh, Istvan David, Vera Pantelic, Mark Lawford
2025	J	`jnl`	Feature-Guided Analysis of Neural Networks: A Replication Study. CoRR Federico Formica, Stefano Gregis, Aurora Francesca Zanenga, Andrea Rota, Mark Lawford, Claudio Menghi
2025	—	`conf`	Linking Medical Device Assurance Cases. ISSREW Tiago de Moraes Machado, Mark Lawford, Richard F. Paige, Alan Wassyng
2025	B	`conf`	Principled Safety Assurance Arguments. SAFECOMP Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng
2025	J	`jnl`	Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives. CoRR Federico Formica, Mark Lawford, Claudio Menghi
2025	J	`jnl`	Search-based Testing of Simulink Models with Requirements Tables. CoRR Federico Formica, Chris George, Shayda Rahmatyan, Vera Pantelic, Mark Lawford, Angelo Gargantini, Claudio Menghi
2024	B	`conf`	Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. SAFECOMP Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng
2024	—	`conf`	Generating Understandable and Reusable Safety Assurance Cases using Workflow ISSRE (Workshops) Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng
2024	B	`conf`	SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing. COMPSAC Eric Lesiuta, Victor Bandur, Mark Lawford
2024	J	`jnl`	Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. IEEE Trans. Software Eng. Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
2024	C	`conf`	Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. IV Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
2024	J	`jnl`	Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. CoRR Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng
2024	—	`conf`	Towards Model Product Lines: Composition of EMF Models. MoDELS (Companion) Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige
2024	—	`conf`	Using Boundary Objects for Continuous Compliance in Automotive Development. ISSRE (Workshops) Anthony Shenouda, Tiziano Santilli, Faezeh Siavashi, Thomas Chiang, Nicholas Annable, Horacio Hoyos Rodriguez, Richard F. Paige, Patrizio Pelliccione, Mark Lawford, Alan Wassyng, Vera Pantelic
2023	—	`conf`	An Automotive Architecture Product Line for E/E Powertrain Architectures. MoDELS (Companion) Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige
2023	—	`conf`	Assurance Cases for Timing Properties of Automotive TSN Networks. SAFECOMP Workshops Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford
2023	—	`conf`	Bridging the Gap Between System Architecture and Software Design using Model Transformation. ISSREW Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde
2023	A	`conf`	Lessons Learned Building a Tool for Workflow MODELS Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
2023	J	`jnl`	Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity. CoRR Sajid Rahim, Kourosh Sabri, Anna Ells, Alan Wassyng, Mark Lawford, Linyang Chu, Wenbo He
2023	J	`jnl`	Repository mining for changes in Simulink and Stateflow models. Softw. Syst. Model. Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford
2023	—	`conf`	Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. ESEC/SIGSOFT FSE Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi
2023	J	`jnl`	Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. CoRR Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi
2023	—	`conf`	Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng
2022	Misc	`conf`	A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. TASE Nicholas Moore, Mark Lawford
2022	B	`conf`	Generating Assurance Cases Using Workflow SAFECOMP Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
2022	—	`conf`	SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS Eric Lesiuta, Victor Bandur, Mark Lawford
2022	J	`jnl`	Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks. CoRR Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi
2021	—	`conf`	A Safety Architecture for Centralized E/E Architectures. DSN Workshops Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford
2021	J	`jnl`	A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
2021	J	`jnl`	Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin
2021	J	`jnl`	Making the Case for Centralized Automotive E/E Architectures. IEEE Trans. Veh. Technol. Victor Bandur, Gehan M. K. Selim, Vera Pantelic, Mark Lawford
2021	A	`conf`	Repository Mining for Changes in Simulink Models. MoDELS Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige
2020	—	`conf`	Applying Modular Decomposition in Simulink. ISSRE Workshops Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford
2020	—	`conf`	Change impact analysis in Simulink designs of embedded systems. ESEC/SIGSOFT FSE Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati
2020	J	`jnl`	Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. Zinovy Diskin, Harald König, Mark Lawford
2020	J	`jnl`	Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines. CoRR Guy Meyer, Alan Wassyng, Mark Lawford, Kourosh Sabri, Shahram Shirani
2020	J	`jnl`	Supporting Modularity in Simulink Models. CoRR Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford
2020	B	`conf`	Systematic Evaluation of (Safety) Assurance Cases. SAFECOMP Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
2019	J	`jnl`	Assurance via workflow+ modelling and conformance. CoRR Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford
2019	A	`conf`	Criteria to Systematically Evaluate (Safety) Assurance Cases. ISSRE Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
2019	J	`jnl`	Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput. CoRR Zinovy Diskin, Harald König, Mark Lawford
2019	J	`jnl`	Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. Zinovy Diskin, Harald König, Mark Lawford
2019	B	`conf`	SL2SF: Refactoring Simulink to Stateflow. FASE Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati
2019	C	`conf`	Something is Rotten in the State of Documenting Simulink Models. MODELSWARD Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford
2018	A	`conf`	Assurance via model transformations and their hierarchical refinement. MoDELS Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford
2018	—	`conf`	Documenting Simulink designs of embedded systems. MoDELS (Companion) Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas
2018	B	`conf`	Multiple Model Synchronization with Multiary Delta Lenses. FASE Zinovy Diskin, Harald König, Mark Lawford
2018	B	`conf`	Safe and Secure Automotive Over-the-Air Updates. SAFECOMP Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng
2018	J	`jnl`	Software engineering practices and Simulink: bridging the gap. Int. J. Softw. Tools Technol. Transf. Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng
2018	J	`jnl`	Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. J. Autom. Reason. Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
2017	—	`conf`	Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. FormaliSE@ICSE Nicholas Moore, Mark Lawford
2017	—	`conf`	Principles for Systematic Development of an Assurance Case Template from ISO 26262. ISSRE Workshops Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng
2017	B	`conf`	Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
2017	—	`conf`	Toward Product Lines of Mathematical Models for Software Model Management. STAF Workshops Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum
2017	C	`conf`	Use of Tabular Expressions for Refinement Automation. MEDI Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2016	C	`ed.`	Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings ICFEM Kazuhiro Ogata, Mark Lawford, Shaoying Liu
2016	—	`conf`	Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. NFM Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford
2016	—	`conf`	Stupid Tool Tricks for Smart Model Based Design. VSTTE Mark Lawford
2016	B	`conf`	Using STPA in an ISO 26262 Compliant Process. SAFECOMP Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng
2015	—	`conf`	A Methodology for the Simplification of Tabular Designs in Model-Based Development. FormaliSE@ICSE Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng
2015	C	`conf`	A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink. MODELSWARD Vera Pantelic, Steven M. Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender
2015	J	`jnl`	Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum
2015	—	`conf`	Formal Verification of Real-Time Function Blocks Using PVS. ESSS Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
2015	J	`jnl`	Formal verification of function blocks applied to IEC 61131-3. Sci. Comput. Program. Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
2015	—	`conf`	Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2015	J	`jnl`	Implementability of requirements in the four-variable model. Sci. Comput. Program. Lucian M. Patcas, Mark Lawford, Tom Maibaum
2015	—	`conf`	Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2015	J	`jnl`	Signature required: Making Simulink data flow and interfaces explicit. Sci. Comput. Program. Marc Bender, Karen Laurin, Mark Lawford, Vera Pantelic, Alexandre Korobkine, Jeff Ong, Bennett Mackenzie, Monika Bialy, Steven M. Postma
2015	—	`conf`	Stateflow to Tabular Expressions. SoICT Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
2015	—	`conf`	Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng
2014	—	`conf`	A Framework for Supervisory Control of Probabilistic Discrete Event Systems. WODES Vera Pantelic, Mark Lawford, Steven M. Postma
2014	B	`conf`	A Separation Principle for Embedded System Interfacing. IFM Lucian M. Patcas, Mark Lawford, Tom Maibaum
2014	—	`conf`	Formalizing the Glucose Homeostasis Mechanism. HCI (20) Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2014	C	`conf`	Signature Required - Making Simulink Data Flow and Interfaces Explicit. MODELSWARD Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic
2013	—	`conf`	Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. FTSCS Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
2013	J	`jnl`	From System Requirements to Software Requirements in the Four-Variable Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Lucian M. Patcas, Mark Lawford, Tom Maibaum
2013	—	`conf`	Insulin Pump Software Certification. FHIES Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng
2013	J	`jnl`	Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford
2012	J	`jnl`	A pseudometric in supervisory control of probabilistic discrete event systems. Discret. Event Dyn. Syst. Vera Pantelic, Mark Lawford
2012	—	`conf`	Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2012	—	`conf`	Large-Scale Enterprise Systems: Changes and Impacts. ICEIS Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng
2012	J	`jnl`	Optimal Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Autom. Control. Vera Pantelic, Mark Lawford
2012	—	`ch.`	Separating Safety and Control Systems to Reduce Complexity. Conquering Complexity Alan Wassyng, Mark Lawford, Tom Maibaum
2011	—	`conf`	A Tabular Expression Toolbox for Matlab/Simulink. NASA Formal Methods Colin Eles, Mark Lawford
2011	—	`conf`	A low-power, low-cost automotive touchscreen with real controls. CCECE Marc Bender, Mark Lawford
2011	Misc	`conf`	Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT Alan Wassyng, Mark Lawford, T. S. E. Maibaum
2010	—	`conf`	Certification of Software-Driven Medical Devices. ISoLA (2) Mark Lawford, T. S. E. Maibaum, Alan Wassyng
2010	—	`conf`	Software Certification: Is There a Case against Safety Cases? Monterey Workshop Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer
2010	—	`conf`	Software certification consortium: certification methods for safety-critical software. CASCON Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff
2010	—	`conf`	Use of a metric in supervisory control of probabilistic discrete event systems. WODES Vera Pantelic, Mark Lawford
2009	J	`jnl`	Probabilistic Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Autom. Control. Vera Pantelic, Steven M. Postma, Mark Lawford
2008	—	`conf`	A Software Certification Consortium and its Top 9 Hurdles. SafeCert@ETAPS John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden
2008	C	`conf`	Formal Verification of the Implementability of Timing Requirements. FMICS Xiayong Hu, Mark Lawford, Alan Wassyng
2008	—	`conf`	On Software Certification: We Need Product-Focused Approaches. Monterey Workshop Alan Wassyng, T. S. E. Maibaum, Mark Lawford
2007	—	`conf`	An IDE for software development using tabular expressions. CASCON Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann
2007	C	`conf`	Software Documents: Comparison and Measurement. SEKE Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford
2006	J	`jnl`	Hierarchical interface-based supervisory control of a flexible manufacturing system. IEEE Trans. Control. Syst. Technol. Ryan J. Leduc, Mark Lawford, Pengcheng Dai
2006	—	`conf`	Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. Software Engineering Research and Practice Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas
2006	J	`jnl`	Software tools for safety-critical software development. Int. J. Softw. Tools Technol. Transf. Alan Wassyng, Mark Lawford
2006	J	`jnl`	Towards Integrated Verification of Timed Transition Models. Fundam. Informaticae Mark Lawford, Vera Pantelic, Hong Zhang
2005	J	`jnl`	Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case". IEEE Trans. Autom. Control. Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham
2005	J	`jnl`	Hierarchical interface-based supervisory Control-part I: serial case. IEEE Trans. Autom. Control. Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham
2005	J	`jnl`	Hierarchical interface-based supervisory control-part II: parallel case. IEEE Trans. Autom. Control. Ryan J. Leduc, Mark Lawford, Walter Murray Wonham
2005	J	`jnl`	Robust nonblocking supervisory control of discrete-event systems. IEEE Trans. Autom. Control. Sean E. Bourdon, Mark Lawford, Walter Murray Wonham
2005	B	`conf`	Timing Tolerances in Safety-Critical Software. FM Alan Wassyng, Mark Lawford, Xiayong Hu
2004	—	`conf`	Equivalence Verification of Timed Transition Models. ACSD Mark Lawford, Hong Zhang
2003	J	`jnl`	Guest Editors' Introduction: Inspection's Role in Software Quality Assurance. IEEE Softw. David Lorge Parnas, Mark Lawford
2003	—	`conf`	Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. FME Alan Wassyng, Mark Lawford
2003	J	`jnl`	The Role of Inspection in Software Quality Assurance. IEEE Trans. Software Eng. David Lorge Parnas, Mark Lawford
2002	C	`conf`	Robust nonblocking supervisory control of discrete-event systems. ACC Sean E. Bourdon, Mark Lawford, W. M. Wonham
2001	—	`conf`	Hierarchical interface-based supervisory control: serial case. CDC Ryan J. Leduc, Bertil A. Brandin, Walter Murray Wonham, Mark Lawford
2000	—	`conf`	Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. AMAST Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum
1996	C	`conf`	Model Reduction of Modules for State-Even Temporal Logics. FORTE Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham
1995	J	`jnl`	Equivalence preserving transformations for timed transition models. IEEE Trans. Autom. Control. Mark Lawford, Walter Murray Wonham