Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Structural variant”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 613 records · Page 34

Molecular basis for antiviral activity of two pediatric neutralizing antibodies targeting SARS-CoV-2 Spike RBD

Neutralizing antibodies (NAbs) hold great promise for clinical interventions against SARS-CoV-2 variants of concern (VOCs). Understanding NAb epitopedependent antiviral mechanisms is crucial for developing vaccines and therapeutics against VOCs. Here we characterized two potent NAbs, EH3 and EH8, isolated from an unvaccinated pediatric patient with exceptional plasma neutralization activity. EH3 and EH8 cross-neutralize the early VOCsandmediatestrong Fc-dependent effector activity in vitro. Structural analyses of EH3 and EH8 in complex with the receptor-binding domain (RBD) revealed the molecular determinantsoftheepitope-drivenprotectionandVOCevasion.WhileEH3represents the prevalent IGHV3-53 NAb whose epitope substantially overlaps with the ACE2 binding site, EH8 recognizes a narrow epitope exposed in both RBD-up and RBD-down conformations. When tested in vivo, a single-dose prophylactic administration of EH3 fully protected stringent K18-hACE2 micefrom lethal challenge with Delta VOC. Our study demonstrates that protective NAbs responses converge in pediatric and adult SARS-CoV-2 patients.

60 APPLIED LIFE SCIENCES↗

Triple Excitations in Green’s Function Coupled Cluster Solver for Studies of Strongly Correlated Systems in the Framework of Self-Energy Embedding Theory

Embedding theories became important approaches used for accurate calculations of both molecules and solids. In these theories, a small chosen subset of orbitals is treated with an accurate method, called an impurity solver, capable of describing higher correlation effects. Ideally, such a chosen fragment should contain multiple orbitals responsible for the chemical and physical behavior of the compound. Handling a large number of chosen orbitals presents a very significant challenge for the current generation of solvers used in the physics and chemistry community. Here, we develop a Green’s function coupled cluster singles doubles and triples (GFCCSDT) solver that can be used for a quantitative description in both molecules and solids. This solver allows us to treat orbital spaces that are inaccessible to other accurate solvers. At the same time, GFCCSDT maintains high accuracy of the resulting self-energy. Moreover, in conjunction with the GFCCSD solver, it allows us to test the systematic convergence of computational studies. Developing the CC family of solvers paves the road to fully systematic Green’s function embedding calculations in solids. In this paper, we focus on the investigation of GFCCSDT self-energies for a strongly correlated problem of SrMnO 3 solid. Subsequently, we apply this solver to solid MnO showing that an approximate variant of GFCCSDT is capable of yielding a high accuracy orbital resolved spectral function.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A variant of the MenB strain of Synechocystis sp. PCC 6803 disrupts a stress response pathway allowing DMPBQ to occupy the A 1 sites of photosystem I

Phylloquinone (PhQ) plays a unique role in photosynthesis as the A1A and A1B intermediates in light-driven electron transfer in Photosystem I (PSI). When PhQ biosynthesis is inhibited by deletion of the menB gene in the cyanobacterium Synechocystis sp. PCC 6803, previous studies have shown that plastoquinone-9 (PQ-9) occupies the A 1 sites. However, a recent cryo-electron microscopy structure of a strain of ΔmenB from the year 2023 revealed an unusual quinone in the A 1 sites with a benzoquinone headgroup similar to PQ-9 and a phytyl tail similar to PhQ. Here, we investigate its biosynthesis and binding properties. Mass spectrometry confirms that PSI from the 2023 ΔmenB strain contains 2,3-dimethyl-5-phytyl-1,4-benzoquinone (DMPBQ), while PSI from the original strain contains PQ-9. Whole genome sequencing reveals that a mutation in slr1737 (tocopherol cyclase) leads to the accumulation of DMPBQ, an intermediate in the tocopherol biosynthetic pathway. Transient optical and electron paramagnetic resonance spectroscopy studies show that when DMPBQ occupies the A 1 sites, it does not exchange with exogenously supplied PhQ in contrast to PQ-9, which exchanges readily. We propose that the slr1737 mutation in the 2023 ΔmenB strain is a likely candidate for the source of the phenotype. This new strain has sacrificed tocopherol synthesis, the absence of which is known to have no effect on growth under low stress conditions, resulting in incorporation of DMPBQ in the A 1 sites. The tighter binding and function of DMPBQ likely allow this ΔmenB strain to outcompete its peers under optimal growth conditions and thus dominate the population.

2,3-dimethyl-5-phytyl-1,4-benzoquinone↗

Development of a portable multispectral thermal infrared camera

The purpose of this research and development effort was to design and build a prototype instrument designated the 'Thermal Infrared Multispectral Camera' (TIRC). The Phase 2 effort was a continuation of the Phase 1 feasibility study and preliminary design for such an instrument. The completed instrument designated AA465 has application in the field of geologic remote sensing and exploration. The AA465 Thermal Infrared Camera (TIRC) System is a field-portable multispectral thermal infrared camera operating over the 8.0 - 13.0 micron wavelength range. Its primary function is to acquire two-dimensional thermal infrared images of user-selected scenes. Thermal infrared energy emitted by the scene is collected, dispersed into ten 0.5 micron wide channels, and then measured and recorded by the AA465 System. This multispectral information is presented in real time on a color display to be used by the operator to identify spectral and spatial variations in the scenes emissivity and/or irradiance. This fundamental instrument capability has a wide variety of commercial and research applications. While ideally suited for two-man operation in the field, the AA465 System can be transported and operated effectively by a single user. Functionally, the instrument operates as if it were a single exposure camera. System measurement sensitivity requirements dictate relatively long (several minutes) instrument exposure times. As such, the instrument is not suited for recording time-variant information. The AA465 was fabricated, assembled, tested, and documented during this Phase 2 work period. The detailed design and fabrication of the instrument was performed during the period of June 1989 to July 1990. The software development effort and instrument integration/test extended from July 1990 to February 1991. Software development included an operator interface/menu structure, instrument internal control functions, DSP image processing code, and a display algorithm coding program. The instrument was delivered to NASA in March 1991. Potential commercial and research uses for this instrument are in its primary application as a field geologists exploration tool. Other applications have been suggested but not investigated in depth. These are measurements of process control in commercial materials processing and quality control functions which require information on surface heterogeneity.

Osterwisch, Frederick G.↗

Network analysis uncovers the communication structure of SARS-CoV-2 spike protein identifying sites for immunogen design

The COVID-19 pandemic, caused by the SARS-CoV-2 virus, has triggered myriad efforts to understand the structure and dynamics of this complex pathogen. The spike glycoprotein of SARS-CoV-2 is a significant target for immunogens as it is the means by which the virus enters human cells, while simultaneously sporting mutations responsible for immune escape. These functional and escape processes are regulated by complex molecular-level interactions. Our study presents quantitative insights on domain and residue contributions to allosteric communication, immune evasion, and local- and global-level control of functions through the derivation of a weighted graph representation from all-atom MD simulations. Focusing on the ancestral form and the D614G-variant, we provide evidence of the utility of our approach by guiding the selection of a mutation that alters the spike’s stability. Taken together, the network approach serves as a valuable tool to evaluate communication “hot-spots” in proteins to guide design of stable immunogens.

60 APPLIED LIFE SCIENCES↗

The Story of 5d Metallocorroles: From Metal–Ligand Misfits to New Building Blocks for Cancer Phototherapeutics

Porphyrin chemistry is Shakespearean: over a century of study has not withered the field’s apparently infinite variety. Heme proteins continually astonish us with novel molecular mechanisms, while new porphyrin analogues bowl us over with unprecedented optical, electronic, and metal-binding properties. Within the latter domain, corroles occupy a special place, exhibiting a unique and rich coordination chemistry. The 5d metallocorroles are arguably the icing on that cake. New Zealand chemist Penny Brothers has used the word “misfit” to describe the interactions of boron, a small atom with a predilection for tetrahedral coordination, and porphyrins, classic square-planar ligands. Steve Jobs lionized misfits as those who see things differently and push humanity forward. Both perspectives have inspired us. The 5d metallocorroles are misfits in that they encapsulate a large 5d transition metal ion within the tight cavity of a contracted porphyrin ligand. Given the steric mismatch inherent in their structures, the syntheses of some 5d metallocorroles are understandably capricious, proceeding under highly specific conditions and affording poor yields. Three broad approaches may be distinguished. (a) In the metal–alkyl approach, a free-base corrole is exposed to an alkyllithium and the resulting lithio-corrole is treated with an early transition metal chloride; a variant of the method eschews alkyllithium and deploys a transition metal–alkyl instead, resulting in elimination of the alkyl group as an alkane and insertion of the metal into the corrole. This approach is useful for inserting transition metals from groups 4, 5, and, to some extent, 6, as well as lanthanides and actinides. (b) In our laboratory, we have often deployed a low-valent organometallic approach for the middle transition elements (groups 6, 7, 8, and 9). The reagents are low-valent metal–carbonyl or −olefin complexes, which lose one or more carbon ligands at high temperature, affording coordinatively unsaturated, sticky metal fragments that are trapped by the corrole nitrogens. (c) Finally, a metal acetate approach provides the method of choice for gold and platinum insertion (groups 10 and 11). This Account provides a first-hand perspective of the three approaches, focusing on the last two, which were largely developed in our laboratory. In general, the products were characterized with X-ray crystallography, electrochemistry, and a variety of spectroscopic methods. The physicochemical data, supplemented by relativistic DFT calculations, have provided fascinating insights into periodic trends and relativistic effects. An unexpected feature of many 5d metallocorroles, given their misfit character, is their remarkable stability under thermal, chemical, and photochemical stimulation. Many of them also exhibit long triplet lifetimes on the order of 100 μs and effectively sensitize singlet oxygen formation. Many exhibit phosphorescence in the near-infrared under ambient conditions. Furthermore, water-soluble ReO and Au corroles exhibit impressive photocytotoxicity against multiple cancer cell lines, promising potential applications as cancer phototherapeutics. We thus envision a bright future for the compounds as rugged building blocks for new generations of therapeutic and diagnostic (theranostic) agents.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Expanding the substrate scope of pyrrolysyl-transfer RNA synthetase enzymes to include non-$α$-amino acids in vitro and in vivo

The absence of orthogonal aminoacyl-transfer RNA (tRNA) synthetases that accept non-L-α-amino acids is a primary bottleneck hindering the in vivo translation of sequence-defined hetero-oligomers and biomaterials. Here we report that pyrrolysyl-tRNA synthetase (PylRS) and certain PylRS variants accept α-hydroxy, α-thio and N-formyl-L-α-amino acids, as well as α-carboxy acid monomers that are precursors to polyketide natural products. These monomers are accommodated and accepted by the translation apparatus in vitro; those with reactive nucleophiles are incorporated into proteins in vivo. High-resolution structural analysis of the complex formed between one PylRS enzyme and a m-substituted 2-benzylmalonic acid derivative revealed an active site that discriminates prochiral carboxylates and accommodates the large size and distinct electrostatics of an α-carboxy substituent. This work emphasizes the potential of PylRS-derived enzymes for acylating tRNA with monomers whose α-substituent diverges substantially from the α-amine of proteinogenic amino acids. These enzymes or derivatives thereof could synergize with natural or evolved ribosomes and/or translation factors to generate diverse sequence-defined non-protein heteropolymers.

59 BASIC BIOLOGICAL SCIENCES↗

Manicouagan impact melt, Quebec. I - Stratigraphy, petrology, and chemistry

A sheet of clast-laden impact melt 230 m thick and 55 km in diameter forms an annular plateau surrounding an uplift of shocked anorthosite within the moderately eroded Manicouagan structure. Three gradational units of the melt sheet are characterized with respect to grain size, inclusions, texture, and mineralogy. The melt rocks as a group are chemically homogeneous with a bulk composition similar to that of latite and with no statistically significant regional chemical variations. The melt is not completely chemically homogeneous as a local mafic variant represented by two samples with poikilitic texture was found. These poikilitic rocks texturally resemble some Apollo 17 impact melt rocks and are inferred to have had a similar origin and thermal history.

Floran, R. J.↗

Overview of the Optomechanical Design of the LUVOIR Instruments

The Large Ultraviolet/Optical/Infrared Surveyor (LUVOIR) is a space telescope being submitted for review to the 2020 Decadal Survey in Astronomy and Astrophysics. Its science objectives include both direct imaging and spectral characterization of habitable exoplanets around sun-like stars, the study of planet, star, and galaxy formation, the transfer of matter between different galaxies, and the remote sensing of objects within the Solar System. Two architectures have been designed: a 15 m diameter on-axis telescope (LUVOIR-A) and an 8 m off-axis telescope (LUVOIR-B). This paper discusses the opto-mechanical design of the three LUVOIR instruments: the High Definition Imager (HDI), the LUVOIR UV Multi-object Spectrograph (LUMOS), and the Extreme Coronagraph for Living Planetary Systems (ECLIPS). For both the LUVOIR-A and LUVOIR-B variants of each instrument, optical design specifications are presented including first-order constraints, packaging requirements, and optical performance metrics. These factors are used to illustrate the final design of each instrument and LUVOIR as a whole. In addition to the optical designs, mechanical models are presented for each instrument showing the optical mounts, mechanisms, support structure, etc.

Decadal Study↗

Understanding the phase transformation mechanisms that affect the dynamic response of Fe-based microstructures at the atomic scales

Large-scale molecular dynamics (MD) simulations were carried out to investigate the shock-induced evolution of microstructure in Fe-based systems comprising single-crystal and layered Cu/Fe alloys with a distribution of interfaces. The shock compression of pure single-crystal Fe oriented along [110] above a threshold pressure results in a BCC (α)→HCP (ε) phase transformation behavior that generates a distribution of ε phase variants in the phase transformed region of the microstructure behind the shock front. The propagation of the release wave through a phase transformed ε phase causes a reverse ε→α phase transformation and renders a distribution of twins for the [110] oriented Fe that serve as void nucleation sites during spall failure. The simulations reveal that the α→ε→α transformation-induced twinning for shock loading along the [110] direction is due to a dominant ε phase variant formed during compression that rotates on the arrival of the release wave followed by a reverse phase transformation to twins in the α phase. The modifications in the evolution of the ε phase variants and twins in Fe behavior are also studied for Cu–Fe layered microstructures due to the shock wave interactions with the Cu/Fe interfaces using a newly constructed Cu–Fe alloy potential. Here, the MD simulations suggest that interfaces affect the observed variants during shock compression and, hence, distributions of twins during shock release that affects the void nucleation stresses in the Fe phase of Cu/Fe microstructures.

36 MATERIALS SCIENCE↗

Characterization of SETD3 methyltransferase–mediated protein methionine methylation

Most characterized protein methylation events encompass arginine and lysine N-methylation, and only a few cases of protein methionine thiomethylation have been reported. Newly discovered oncohistone mutations include lysine-to-methionine substitutions at positions 27 and 36 of histone H3.3. In these cases, the methionine substitution localizes to the active-site pocket of the corresponding histone lysine methyltransferase, thereby inhibiting the respective transmethylation activity. SET domain–containing 3 (SETD3) is a protein (i.e. actin) histidine methyltransferase. Here, we generated an actin variant in which the histidine target of SETD3 was substituted with methionine. As for previously characterized histone SET domain proteins, the methionine substitution substantially (76-fold) increased binding affinity for SETD3 and inhibited SETD3 activity on histidine. Unexpectedly, SETD3 was active on the substituted methionine, generating S-methylmethionine in the context of actin peptide. The ternary structure of SETD3 in complex with the methionine-containing actin peptide at 1.9 Å resolution revealed that the hydrophobic thioether side chain is packed by the aromatic rings of Tyr 312 and Trp 273 , as well as the hydrocarbon side chain of Ile 310 . Our results suggest that placing methionine properly in the active site—within close proximity to and in line with the incoming methyl group of SAM—would allow some SET domain proteins to selectively methylate methionine in proteins.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Structure of a Vaccine-Induced, Germline-Encoded Human Antibody Defines a Neutralizing Epitope on the SARS-CoV-2 Spike N-Terminal Domain

Structural characterization of infection- and vaccination-elicited antibodies in complex with antigen provides insight into the evolutionary arms race between the host and the pathogen and informs rational vaccine immunogen design. We isolated a germ line-encoded monoclonal antibody (mAb) from plasmablasts activated upon mRNA vaccination against severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) and determined its structure in complex with the spike glycoprotein by electron cryomicroscopy (cryo-EM). We show that the mAb engages a previously uncharacterized neutralizing epitope on the spike N-terminal domain (NTD). The high-resolution structure reveals details of the intermolecular interactions and shows that the mAb inserts its heavy complementarity-determining region 3 (HCDR3) loop into a hydrophobic NTD cavity previously shown to bind a heme metabolite, biliverdin. We demonstrate direct competition with biliverdin and that, because of the conserved nature of the epitope, the mAb maintains binding to viral variants B.1.1.7 (alpha), B.1.351 (beta), B.1.617.2 (delta), and B.1.1.529 (omicron). Our study describes a novel conserved epitope on the NTD that is readily targeted by vaccine-induced antibody responses.

59 BASIC BIOLOGICAL SCIENCES↗

Efficient Low Dissipative High Order Schemes for Multiscale MHD Flows: Minimization of Delta * B Numerical Error - II

The generalization of a class of low-dissipative high order filter finite difference schemes for long time wave propagation of shock/turbulence/combustion compressible viscous gas dynamic flows to compressible MHD equations for structured curvilinear grids has been developed. The new scheme consists of a divergence free preserving high order spatial base scheme with a filter approach which can be divergence-free preserving depending on the type of filter operator being used, the method of applying the filter step, and the type of flow problem to be considered. Several variants of the filter approach that cater to different flow types are proposed. These filters provide a natural and efficient way for the minimization of the divergence of the magnetic field (Delta * B) numerical error in the sense that no standard divergence cleaning is required. Performance evaluation of these variants, and the key role that the proper treatment of their corresponding numerical boundary conditions can play will be illustrated. Many levels of grid refinement and detailed comparison with several commonly used compressible MHD shock-capturing schemes will be sought. For certain MHD 2-D test problems, divergence free preservation of the magnetic fields of these filter schemes has been achieved.

Sjoegreen, Bjoern↗

Substituent size versus metal binding of inhibitors with variants of influenza endonuclease

The influenza virus causes a significant burden of illness each year. Although vaccination is the most effective method to prevent seasonal influenza infection, viral escape mechanisms make vaccine composition difficult to predict. Antivirals are crucial for decreasing rates of morbidity and mortality from influenza viral infection. The newest anti-influenza drugs target the RNA-dependent RNA polymerase acidic N-terminal (PA N ) endonuclease, a critical component of influenza viral replication machinery. This study examines the structure of inhibitors of PAN that utilize a hydroxypyridinone-based metal-binding pharmacophore (MBP). Specifically, this report explores how the size of substituent groups impacts the binding conformation and affinity of a series of compounds against both wild-type (WT) and resistance mutant strains, I38T and E23K. Co-crystal structures revealed that the distance between compounds and enzyme residue 38 was conserved to maintain strong interactions, resulting in deviations from ideal coordination geometries at the active site metal centers. This suggests the interactions with residue 38 with each compound is important and can impact inhibitor potency as a consequence of distortions in the metal binding geometry of the compounds.

Endonuclease↗

Linking Domain Structure Evolution at a Grain Boundary to Piezoelectric Response via Nano‐Diffraction

Electric-field-induced domain structure switching in a 1 𝜇⁢m -thick Pb 0.99 (Zr 0.45 Ti 0.55 ) 0.98 Nb 0.02 O 3 (Nb-doped PZT) bicrystal film was characterized in situ via nano-focused synchrotron diffraction. The epitaxial film was deposited on a (100) SrTiO 3 bicrystal substrate. The changes in domain structure were mapped within a 5 𝜇⁢m × 5 𝜇⁢m area at and around an in-plane tilt-type (23.6°) grain boundary with 50 nm spatial resolution. Rocking curves collected at each point of the mapped area provided the ability to reconstruct spatially-varying three-dimensional (3D) reciprocal space maps around the grain boundary. The 3D reciprocal space maps reveal how different tilted 𝑎 -type domain variants interact with the grain boundary as a function of increasing electric field. Initially, a subset of 𝑎 -type domain variants with their polarization vectors largely orthogonal to the grain boundary were found in greater abundance within 570 nm of the grain boundary, possibly due to X-ray beam-induced local increases in the electrical conductivity, but after the coercive field was exceeded, reconfiguration of the ferroelastic domains was observed. The spatially-varying reciprocal space maps also facilitated evaluation of the strain field across the mapped area, along with 𝑑 33,𝑓 . Significant spatial heterogeneity of strain and 𝑑 33,𝑓 are observed, especially at the coercive field, which was attributed to maintaining deformation compatibility and correlated ferroelastic switching.

36 MATERIALS SCIENCE↗

Earth microbial co-occurrence network reveals interconnection pattern across microbiomes

Microbial interactions shape the structure and function of microbial communities; microbial association networks in specic environments have been widely developed to explore these complex systems, but their wired pattern across microbiomes in various environments at the global scale remains unexplored. Here we have inferred an Earth microbial association network from a communal catalogue with 23,595 samples and 12,646 exact sequence variants from 14 environments in the Earth Microbiome Project dataset. Results: This non-random scale-free Earth microbial association network consisted of 8 taxonomy distinct modules linked with dierent environments, which featured environment specic microbial associations. Dierent topological features of subnetworks inferred from datasets trimmed into uniform size indicate distinct association patterns in the microbiomes of various environments. The proportions of specialist edges, which ranged from 43.0% to 65.7%, highlight that environmental specic microbial associations are essential features of microbiomes in various environments. Based on edge-overlap similarity, the microbiomes of various environments were clustered into two groups, which were mainly bridged by the microbiomes of plant and animal surface. Acidobacteria Gp2 and Nisaea were identied as hubs in most of subnetworks. Negative edges proportions ranged from 1.9% in the soil subnetwork to 48.9% the non-saline surface subnetwork, suggesting various environments experience distinct intensities of competition or niche dierentiation. Conclusion: This investigation provides a new resource for examining Earth microbial association patterns across environments and emphasizes the network perspective for comprehensively understanding unique microbiome features. Keywords: Association pattern; Earth microbiomes; Genelist edges; Network hubs; Negative associations; Specialist edges; Topological properties

59 BASIC BIOLOGICAL SCIENCES↗

Upper Temperature Limit of Environmental Barrier Coatings Based on Mullite and BSAS

Current state-of-the-art environmental barrier coatings (EBCs) for Si-based ceramics consist of three layers: a silicon bond coat, an intermediate mullite (3Al2O3-2SiO2) or mullite + BSAS (1-xBaO-xSrO-Al2O3-2SiO2) layer, and a BSAS top coat. Areas of concern for long-term durability are environmental durability, chemical compatibility, silica volatility, phase stability, and thermal conductivity. Variants of this family of EBCs were applied to monolithic SiC and melt infiltrated SiC/SiC composites. Reaction between BSAS and silica results in low melting (approx. 1300 C) glasses at T > 1400 C, which can cause the spallation of the EBC. At temperatures greater than 1400 C, the BSAS top coat also degrades by formation of a porous structure, and it suffers significant recession via silica volatilization in water vapor-containing atmospheres. All of these degradation mechanisms can be EBC life-limiting factors. BSAS undergoes a very sluggish phase transformation (hexagonal celsian to monoclinic celsian), the implications of which are not fully understood at this point. There was evidence of rapid sintering at temperatures as low as 1300 C, as inferred from the sharp increase in thermal conductivity.

Lee, Kang N.↗

Statechart Analysis with Symbolic PathFinder

We report here on our on-going work that addresses the automated analysis and test case generation for software systems modeled using multiple Statechart formalisms. The work is motivated by large programs such as NASA Exploration, that involve multiple systems that interact via safety-critical protocols and are designed with different Statechart variants. To verify these safety-critical systems, we have developed Polyglot, a framework for modeling and analysis of model-based software written using different Statechart formalisms. Polyglot uses a common intermediate representation with customizable Statechart semantics and leverages the analysis and test generation capabilities of the Symbolic PathFinder tool. Polyglot is used as follows: First, the structure of the Statechart model (expressed in Matlab Stateflow or Rational Rhapsody) is translated into a common intermediate representation (IR). The IR is then translated into Java code that represents the structure of the model. The semantics are provided as "pluggable" modules.

Pasareanu, Corina S.↗