A Macroscopic Approach to Irreversible Thermodynamics
C.M. Sliepcevich, Don Finn, Hadi Hashemi and Michael Heymann
I \& E C Fundamentals, 2, p. 326, 1963.

Optimum Design for Ejector-Operated Refrigeration Cycles,
Michael Heymann and W. Resnick,
Israel Journal of Technology, 2, pp. 242-247, 1964.

A Macroscopic Approach to Irreversible Thermodynamics
C.M. Sliepcevich, Don Finn, Hadi Hashemi and Michael Heymann,
I \& E C Fundamentals, 3, pp. 276-277, 1964.

Time Domain Process Identification Michael Heymann,
M.L. McGuire and C.M. Sliepcevich
Proceedings 58th Annual A.I.Ch.E. Meeting, Philadelphia, 1965.

Performance Characteristics of Self Entrainment Ejectors
Fouad Khouri, Michael Heymann and W. Resnick
I \& E C Process Design and Development, 6, pp. 331-340, 1967.

New Time Domain Technique for Identification of Process Dynamics
Michael Heymann, M.L. McGuire and C.M. Sliepcevich,
I \& E C Fundamentals, 6, pp. 555-563, 1967.

Optimum Search for a Maximum using an Information Theoretic Approach
Michael Heymann,
O R S A Bulletin, 16, B -105, Spring (1968).

Optimal Simultaneous Search for the Maximum by the Principle of Statistical Information
Michael Heymann,
Operation Research, 16, pp. 1194-1205, (1968).

Pole Assignment in Multi-Input Linear Systems (pdf)
Michael Heymann,
IEEE Transactions on Automatic Control, AC-13, pp. 748-749, (1968).

On a Decomposition of a Special Class of Geometric Programming Problems
Michael Heymann and M. Avriel,
Journal of Optimization Theory and Applications, 3, pp. 392-409, (1969).

Transfer Equivalence of Linear Dynamical Systems
Michael Heymann and John A. Thorpe,
SIAM Journal on Control, 8, pp. 19-40, (1970).

On the Input and Output Reducibility of Multivariable Linear Systems (pdf)
Michael Heymann,
IEEE Transactions on Automatic Control, AC-15, pp. 563-569, (1970).

A Unique Canonical Form for Multi-Input Linear Systems
Michael Heymann,
International Journal on Control, 12, pp. , (1970).

The Prime Structure of Linear Dynamical Systems
Michael Heymann,
SIAM Journal on Control, 10, pp. 460-469, (1972).

The Prime Structure of Linear Dynamical Systems
Michael Heymann,
Proc. 1972 Joint Automatic Control Conference, Stanford University, pp. 127-132, (1972).

Lectures on Structure and Realization Problems in the Theory of Dynamical Systems
Michael Heymann,
International Center for mechanical Sciences, Udine, Italy, (85 pp) July 10-14, (1972).

A Note on Minimal Polynomials
Michael Heymann and John A. Thorpe,
Linear Algebra and its Applications, 7, pp. 279-280, (1973).

On a Theorem of W. Hahn
Michael Heymann and Arie Feuer,
Monatshefte fur Mathematik, 78, pp. 391-394, (1974).

Structure and Realization Problems in the Theory of Dynamical Systems
M. Heymann
Springer-Verlag CISM Series, New York, 1975.

Controllability of Linear Systems with Positive Controls: Geometric Considerations
Michael Heymann and R.J. Stern,
Journal of Mathematical Analysis and Applications, 52, pp. 36-41, (1975).

Controllability Subspaces and Feedback Simulation
Michael Heymann,
Proc. 6th Congress of the International Federation of Automatic Control, Boston, Mass., Aug. (1975).

Omega-Invariance in Control Systems with Bounded Controls
Arie Feuer and Michael Heymann,
Journal of Mathematical Analysis and Applications, 53, pp. 266-276, (1976).

Omega-Rest Points in Autonomous Control Systems
Michael Heymann and R.J. Stern,
Journal of Differential Equations, 20, pp. 389-398, (1976)

Admissible Sets in Linear Feedback Systems with Bounded Controls
Arie Feuer and Michael Heymann,
International Journal on Control, 23, pp. 381-392, (1976).

Controllability Subspaces and Feedback Simulation
Michael Heymann,
SIAM J. on Control, 14, pp. 769-789, (1976).

Max-Min Control Problems: A System Theoretic Approach (pdf)
Michael Heymann, M. Pachter and R.J. Stern,
IEEE Trans. on Automatic Control, AC-21, pp. 455-463, (1976).

Weak and Strong Max-Min Controllability (pdf)
Michael Heymann, M. Pachter and R.J. Stern,
IEEE Trans. on Automatic Control, AC-21, pp. 612-613, (1976).

Weak invariance and Rest Points in Control Systems
M.L.J. Hautus, Michael Heymann and R.J. Stern,
in Dynamic Systems, A.R. Bednarek and L. Cesari, Eds.,pp. 71-87, Academic Press (1977).

Two Player Control Problems with Subspace Targets
Michael Heymann, M. Pachter and R.J. Stern,
in Differential Games and Control Theory II, E.O. Roxin, P.T. Liu and R.L. Sternberg, Eds.,
pp. 167-178, Marcel Dekker (1977).

Rest Point Theorems for Autonomous Control Systems
M.L.J. Hautus, Michael Heymann and R.J. Stern,
J. Math. Anal. and Appl., 58, pp. 98-112, (1977).

On Linear Games with Subspace Target
Michael Heymann, M. Pachter and R.J. Stern,
Funkcialaj Ekvacioj, 20, pp. 71-76, (1977).

Linear Feedback: An Algebraic Approach
M.L.J. Hautus and Michael Heymann,
SIAM J. Control & Opt., 16, pp. 83-105, (1978).

The Pole Shifting Theorem Revisited (pdf)
Michael Heymann,
IEEE Trans. on Automatic Control, AC-24, pp. 479-480, (1979).

On the Max-Min Pursuit Game
Michael Heymann and M. Pachter,
J. Math. Anal. and Appl., 70, pp. 430-444, (1979).

Input-Output Behavior and Feedback
Michael Heymann,
E.E. Publ. No. 345, Faculty of Electrical Engineering, Technion, Haifa, Jan. 1979.

New Results on Linear Feedback Decoupling
M.L.J. Hautus and Michael Heymann,
in Analysis and Optimization of Systems, A. Bensoussan and J.L. Lions, Eds., pp. 562-577,
Lecture Notes in Control and Information Sciences, Vol. 28, Springer Verlag, New York, (1980).

Causal Factorization and Linear Feedback
J. Hammer and Michael Heymann,
SIAM J. Control and Optimization, 19, pp. 445-468, (1981).

Linear System Factorization
J. Hammer and Michael Heymann,
in Feedback and Synthesis of Linear and Nonlinear Systems, D. Hinrichsen and A. Isidori, Eds., pp. 91-106, Lecture Notes in Control and Information Sciences, No. 39, Springer Verlag, New York, (1982).

Strictly Observable Linear Systems (pdf),
J. Hammer and Michael Heymann,
Proceedings CDC, December, pp.392 - 396, (1982).

On Linear System Reduction by Stable Precompensation and Stable State Feedback
Michael Heymann,
Systems & Control Letters, 2, pp. 217-221, (1982).

Strictly Observable Linear Systems
J. Hammer and Michael Heymann,
SIAM J. Control and Optimization, 21, pp. 1-16, (1983).

Factorization of Linear System: A Generalized Framework
J. Hammer and Michael Heymann,
J. Linear Algebra and Applications, 50, pp. 321-352, (1983).

Linear Feedback Decoupling - Transfer Function Analysis (pdf)
M.L.J. Hautus and Michael Heymann,
IEEE Trans. on Automatic Control,AC-28, pp. 823-832, (1983).

On a Linear Pursuit Game With an Unknown Trap
Michael Heymann and J. Ritov,
Journal of Optimization Theory and Applications, 42, pp. 421-445, (1984).

A Formulation and Analysis of Combat Games
Michael Heymann, M.D. Ardema and N. Rajan
NASA Technical Memorandum 85927, NASA Ames research center, April 1984.

Remarks on the Adaptive Control OF Linear Plants with Unknown High Frequency Gain
Michael Heymann, J.H. Lewis and G. Meyer,
Systems and Control Letters, 5, pp. 357-362, (1985).

Combat Games
M.D. Ardema, Michael Heymann and N. Rajan,
Journal of Optimization Theory and applications, 46, pp. 391-398, (1985).

A Formulation and Analysis of Combat Games
Michael Heymann, M.D. Ardema and N. Rajan
NASA Technical Paper 2487, NASA Ames research center, June 1985 .

On Optimal Strategies in Event Constrained Differential Games (pdf).
Michael Heymann, M. D. Ardema and N. Rajan,
Proc. 24-th IEEE Conference on Decision and Control, pp. 1115-1118, (1985).

On Minimum Spanning Blocks in Discrete Linear Systems (pdf)
A. Feuer and M. Heymann,
IEEE Trans. on Automatic Control, AC-31, pp. 352-355, (1986).

Games of Combat
M. D. Ardema, Michael Heymann and N. Rajan,
Mathematical Modeling , 8, pp. 13-14, 1986.

Analysis of a Combat Problem: The Turret Game
M.D.Ardema, Michael Heymann and N.Rajan,
Journal of Optimization Theory and Applications, 54, pp. 23-42, 1987.

Pole Placement via State Feedback and Luenberger Observer
Michael Heymann,
Encyclopedia of systems and Control, Pergamon Press, 1987.

Persistency of Excitation Results for Structured Nonminimal Models (pdf)
Michael Heymann,
IEEE Trans. on Automatic Control, AC-33, pp. 112-116, 1988.

Optimal Strategies in Event Constrained Differential Games
Michael Heymann, M. D. Ardema and N. Rajan
in Computers in Mathematics with Applications, Special issue on Differential Games,
M. Pachter and Y. Yavin, Eds. Vol. 18, pp. 127-131, 1988.

Formulation and Control of Real Time Discrete Event Processes (pdf)
Yitzhak Brave and Michael Heymann,
Proc. 27-th IEEE Conference on Decision and Control, pp. 1131-1132, 1988.

On Stabilization of Discrete Event Processes (pdf)
Yitzhak Brave and Michael Heymann,
Proc. 28-th IEEE Conference on Decision and Control, pp. 2737-2742, 1989.

On Stabilization of Discrate Event Processes (pdf)
Yitzhak Brave and Michael Heymann,
International J. on Contr., Vol. 51, No. 5, pp.1101-1117, 1990.

Concurrency and Discrete Event Control (pdf)
Michael Heymann,
IEEE Control Systems Magazine, Vol. 10, No. 4, pp. 103-112, 1990.
(also in Discrete Event Dynamic Systems - Analyzing Complexity and Performance
in the Real World, Y.C. Ho, Ed., pp 65-75, IEEE Press, 1991.)

On Supervisory Control of Concurrent Discrete Event Systems (pdf)
Y. Willner and M. Heymann
First European Control Conference, Grenoble, France, July 2-5,1991.

On Optimal Attraction in Discrete Event Systems (pdf)
Y.Brave and M.Heymann
Proc. First European Control Conference, Grenoble, France, July 2-5,1991.

Reachability in Discrete Event Systems Modelled as Hierarchical State Machines (pdf)
Y. Brave and M. Heymann
Proceedings., 17th Convention of Electrical and Electronics Engineers in Israel, pp.87-90, Tel Aviv, May 1991.

Control of Discrete Event Systems Modelled as Hierarchical State Machines (pdf)
Y. Brave and M. Heymann
Proceedings, 30th IEEE Conference on Decision and Control, pp. 1499-1504, Vol 2, Brighton, England, 1991.

Module Theory and Linear System Theory
M. L. J. Hautus and M. Heymann,
in Mathematical System Theory - The influence of R.E. Kalman A. C.
Anthoulas, Ed., pp 267-278, Springer Verlag, New-York, 1991.

An Algebra of Discrete Event Processes (pdf)
Michael Heymann and George Meyer
NASA Technical Memorandum 102848, NASA Ames research center, 1991.

On Language Convergence in Discrete-Event Systems (pdf)
Yosef Willner and Michael Heymann,
Proceedings., 17th Convention of Electrical and Electronics Engineers in Israel, pp.83-86, Tel Aviv, May 1991.

On Supervisory Control of Concurrent Discrete-Event Systems (pdf)
Yosef Willner and Michael Heymann,
International J. on Control, Vol 54, pp. 1119-1142, 1991.

Parameter Convergence and Uniqueness in Parametrizations for Multivariable Adaptive Control (pdf)
Y. Willner, M. Heymann and M. Bodson,
SIAM J. Control and Optimization, 30, pp. 800-815, 1992.

Two-Dimensional Robot Navigation Among Unknown Stationary Polygonal Obstacles (pdf)
A. Bruckstein, M. Heymann and Guy Foux,
IEEE Trans. on Robotics and Automation, Vol 9, pp. 96-102, 1993.

On-Line Control of Partially Observed Discrete Event Systems (pdf)
Michael Heymann and Feng Lin,
Proc. 1993 ECC Groningen, The Netherlands, pp. 2169-2174, 1993.

On Optimal Attraction in Discrete-Event Processes (pdf)
Yitzhak Brave and Michael Heymann,
Information Sciences, Vol. 67, pp.245-267, 1993.

Control of Discrete-Event Systems Modeled as Hierarchical State Machines (pdf)
Yitzhak Brave and Michael Heymann,
IEEE Trans. on Automatic Control, Vol. 38, pp. 1803-1819, 1993.

On-Line Control of Partially Observed Discrete Event Systems (pdf)
Michael Heymann and Feng Lin,
Discrete Event Dynamic Systems, Vol. 4, pp. 221-236, 1994.

''Converter for Cruise Speed Control Systems'',
Michael Heymann and Arie Feuer,
Israeli patent 109332, April 18, 1994 (Granted April 1998); U.S. patent 5,689,422, 1997.

Language Convergence in Controlled Discrete-Event Systems (pdf)
Yosef Willner and Michael Heymann,
IEEE Transactions on Automatic Control. Vol. 40, No 4, pp. 616-627, 1995.

On Observability and Nondeterminism in Discrete Event Systems (pdf)
Michael Heymann and Feng Lin,
Proc. 33rd Allerton Conf. on Communication, Control and Computing, pp.136-145, Oct. 4 - 6, 1995.

Nonblocking Supervisory Control of Nondeterministic Systems (pdf)
Michael Heymann and Feng Lin,
Technion CIS Report No. 9620, October 1996,
(also in Discrete Event Dynamic Systems).

Discrete Event Control of Nondeterministic Systems (pdf)
Michael Heymann and Feng Lin,
Proceedings 1996 IEEE Conference on Decision and Control, Kobe, Japan, Dec 11-13, 1996.

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints (pdf)
Michael Heymann, Feng Lin and George Meyer,
NASA Technical Memorandum 112196, NASA Ames Research Center, Moffett Field, CA, June 1997.

Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems (pdf)
Michael Heymann, Feng Lin and George Meyer,
in Hybrid Systems IV, P. Antsaklis, W. Kohn, A. Nerode and S. Sastri, Eds. , LNCS 1273, pp. 134-159, Springer Verlag, 1997.

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints (pdf)
Michael Heymann, Feng Lin and George Meyer,
in Hybrid and Real-Time Systems, HART97, O. Maler, Ed., pp. 376-390, LNCS 1201, Springer Verlag, 1997.

On the existence of safety controllers for rate-bounded hybrid machines
Michael Heymann Feng Lin and George Meyer,
Proceedings Fifth international workshop on hybrid systems (HS97), LNCS, Springer Verlag. 1997.

Nonblocking Supervisory Control of Nondeterministic Systems (pdf)
Michael Heymann and Feng Lin,
in U. Helmke, D. Pratzel-Wolters and E. Zerz, Eds. ''Operators, Systems and Linear Algebra'', pp. 96-110, 1997.

Viability of Controllers for Hybrid Machines (pdf)
Michael Heymann Feng Lin and George Meyer,
Proceedings, 36th IEEE Conference on Decision and Control, pp. 714-719, San Diego, December 10-12, 1997.

Masked Prioritized Synchronization for Interaction and Control of Discrete Event Systems (pdf)
Ratnesh Kumar and Michael Heymann,
Proceedings, 36th IEEE Conference on Decision and Control, pp. 2952-2957, San Diego, December 10-12, 1997.

Formal aspects of human interaction with procedures.
Degani, A., and Heymann, M.
Proceedings of the 1997 IEEE Sixth Conference on Human Factors and Power Plants Orlando, FL:
Institute of Electrical and Electronic Engineers, 1997.

Discrete Event Control of Nondeterministic Systems (pdf)
Michael Heymann and Feng Lin,
IEEE Trans. on Automatic Control, Vol. 43, No. 1, pp. 3-17, 1998.

Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems (pdf)
Michael Heymann Feng Lin and George Meyer
Discrete Event Dynamic Systems, Vol. 8, No. 2, pp. 105-135, 1998.

Formal aspects of procedures: The Problem of Sequential Correctness (pdf)
Degani, A., Heymann, M., and Shafto, M.
Proceedings of the 17th Digital Avionics Systems Conference (DASC). Seattle, WA. IEEE, 1998.

A document is not a procedure: The need for active critiquing.
Degani, A., Heymann, M., and Shafto, M.
Proceedings of the NASA Kennedy Space Center Human Factors Workshop III, Kennedy Space Center, FL., 1998.

A hybrid system solution of the interrupt latency compatibility problem (pdf)
F. Lin, D. T. Ashley, M. Heymann and M. J. Burke,
Proceedings 1999 SAE International Congress, March 1 - 4, Detroit, Michigan, 1999,
(also in Tech-Notes 5, pp. 24-37, Visteon Corp., 1999.)

Discrete event control with active events (pdf)
M. Heymann, F. Lin and G. Meyer,
Proceedings 1999 IEEE International Conference on Robotics and Automation,
pp. 131-136, May 10-15, Detroit, Michigan, 1999.

Formal aspects of procedures: The problem of sequential correctness (pdf)
Degani, A., Heymann, M., and Shafto, M.
Proceedings of the 43rd Annual Meeting of the Human Factors and Ergonomics Society,
Houston, TX, September 26-30, 1999.

Pilot-autopilot interaction: A formal perspective. (pdf)
Degani, A. and Heymann, M.
In R. S. Jensen (Ed.), Proceedings of the 10th International Aviation Psychology Symposium,
Columbus, OH: The Ohio State University, May 1-5, 1999.

Some Formal Aspects of Human-Automation (pdf)
Degani, A. and Heymann, M.
Interaction, NASA Technical Memorandum 209600, NASA Ames Research Center, Moffett Field, CA, 2000.

Masked Prioritized Synchronization for Interaction and Control of Discrete Event Systems (pdf)
Ratnesh Kumar and Michael Heymann,
IEEE Transactions on Automatic Control, pp. 1970-1982, Vol. 45, 2000.

Control of Rate-Bounded Hybrid Systems with Liveness Specifications (pdf)
Michael Heymann Feng Lin and George Meyer,
in F. Colonius, U. Helmke, D. Pratzel-Wolters and F. Wirth, Eds.,
Advances in Mathematical Systems Theory, pp. 151-168, Birkhauser publishers 2001.

On abstractions and simplifications in the design of human-automation interfaces (pdf)
Michael Heymann and Asaf Degani,
submitted to Human Factors, 2002.

Multi-User Discrete Event Control with Active Events (pdf)
Michael Heymann Feng Lin and George Meyer,
IEEE Transactions on Automatic Control, pp. 314-318, Vol. 47, No.2, February 2002.

Formal verification of human-automation interaction (pdf)
Asaf Degani and Michael Heymann,
Human Factors, Vol. 44, No.1, pp. 28-41, 2002.

On abstractions and simplifications in the design of human-automation interfaces (pdf)
Michael Heymann and Asaf Degani,
NASA Technical Memorandum 211397, NASA Ames Research Center, Moffett Field, CA, March 2002.

On the construction of human-automation interfaces by formal abstraction (pdf)
Michael Heymann and Asaf Degani,
Proceedings, 5th International Symposium on Abstraction, Reformulation and Approximation - SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002. S. Koenig, R.C.Holte, Eds., Springer Lecture Notes on Artificial Intelligence (LANI) 2371, pp.99-115, Springer Verlag, 2002.

Constructing Human-Automation Interfaces: A Formal Approach (pdf)
Michael Heymann and Asaf Degani,
pp. 119-125, Proceedings HCI-Aero 2002, Cambridge, MA, October 23-25, 2002.

Automation Procedures for Air Traffic Management: A Token-based Approach (pdf)
S. Devasia, M. Heymann and G.Meyer,
pp. 736-741, Proceedings American Control Conference, Anchorage, AK, May 8-10, 2002.

Analysis of Zeno behaviors in hybrid systems (pdf)
Michael Heymann, Feng Lin, George Meyer and Stefan Resmerita
Proceedings 41st Conference on Decision and Control, pp.
2379-2384, Las Vegas, Nevada, Dec. 10-13, 2002.

Analysis and Verification of Human-Automation Interfaces (pdf)
Asaf Degani and Michael Heymann,
in D. Harris, V. Duffy, M. Smith, C. Stephanidis, Eds., Human Centered Computing: Cognitive, Social
and Ergonomic Aspects, Vol.3, pp. 185-189, Erlbaum, (Proceedings, 10th International Conference on Human - Computer Interaction, Crete, June 22-27), 2003.

Conflict Resolution in Multi-agent Systems (pdf)
Stefan Resmerita, Michael Heymann,
Proceedings, 42nd IEEE Conference on Decision and Control, pp. 2537-2542, Vol. 3, Maui, Hawaii, December, 2003.

A Framework for Conflict Resolution in Air Traffic Management (pdf)
Stefan Resmerita, Michael Heymann and George Meyer
Proceedings, 42nd IEEE Conference on Decision and Control, pp. 2035-2040, Vol 2, Maui, Hawaii, December, 2003.

An Agent Based Framework for Control of Merging Air Traffic (pdf)
Michael Heymann, George Meyer, and Stefan Resmerita,
Proceedings 16th IFAC Symposium on Automatic Control in Aerospace,
St. Petersburg, Russia, June, 2004.

Analysis of Zeno behaviors in hybrid systems (pdf)
Michael Heymann, Feng Lin, George Meyer and Stefan Resmerita
IEEE Transactions on Automatic Control, 50(3), pp. 376-384, 2005.

UIVerify - a web-based tool for verification and automatic generation of user interfaces (pdf)
Shiffman, S., Degani, A., & Heymann, M.
Proceedings of the 8th Annual Applied Ergonomics Conference. New Orleans, LA, 2005.

A Formal Methodology, Tools, and Algorithm for the Analysis, Verification, and Design Of Emergency Procedures and Recovery Sequences (pdf)
Heymann, M., Degani, A., & Barshi, I
An internal NASA white paper (2005).

Generating Procedures and Recovery Sequences: A Formal Approach (pdf)
Asaf Degani, Michael Heymann and Imanuel Barshi
Proceedings, 14th International Symposium on Aviation Psychology, pp. 252-257, (April 23-26) 2007.

Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm (pdf)
Heymann, M., & Degani, A.
Human Factors, Vol. 49, No 2, pp 311-330, 2007.

Towards a Flexible Air Traffic Management: Dealing with Conflicts
Stefan Resmerita, Michael Heymann and George Meyer
11th World Conference on Transport Research, UC Berkeley, CA, June 2007.

Toward Automatic Generation of User Interfaces: Abstraction of Internal States and Transitions (pdf)
Asaf Degani, Michael Heymann.
10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Human-Machine Systems. Seoul, Korea, (September 4-6) 2007.

Pursuit Evasion Games in the Presence of Obstacles in Unknown Environments: towards an optimal pursuit strategy (pdf)
Giovannangelli, C., Heymann, M. and Rivlin, E.,
In Cutting Edge Robotics 2010, Vedran Kordic, Ed., pp.47-80, In-Tech. Vukovar Kroatia, 2010.

HMI Aspects of Automotive Climate Control Systems (pdf)
Degani, A., Heymann, M., and Gellatly, A.,
Proc. 2011 IEEE Systems, Men and Cybernetics Conference, AK, Oct 10-12, 2011.

Modeling and Formal Analysis of Human-Machine Interaction (pdf) .
Degani, A., Heymann, M., & Shafto, M., In J. D. Lee and A. Kirlik (Eds.),
The Oxford Handbook of Cognitive Engineering. Oxford University Press, New York 2013.

Heymann, M. & Degani, A. (2013). Automated Driving Aids: Modeling, Analysis, and Interface Design Considerations.
Proceedings of the 5th International Conference on Automotive User Interfaces and Interactive Vehicular Applications (AU2013).
Eindhoven, The Netherlands, October 27-30

Heymann, M. & Degani, A. (2016). Classification and organization of Information:
The case of the head up display. In N. Shaked & U. Winter, Design of Multimodal Mobile Interfaces. pp. 195-217.
Berlin, Germany: De Gruyter

Heymann, M. & Degani, A. (2018). Inter-Agent Interactions in Vehicular Operations.
General Motors R&D Report # CL-ATCI-229.

Heymann, M. & Degani, A. (2018). Autonomous vehicle interactions with other road users: Conflicts and resolutions.
Paper to appear in Driving Assessment 2019 Conference, June 24-27, 2019, Santa Fe NM.