TY - JOUR A1 - Alsheimer, Manfred A1 - Link, Jana A1 - Jahn, Daniel A1 - Schmitt, Johannes A1 - Göb, Eva A1 - Baar, Johannes A1 - Ortega, Sagrario A1 - Benavente, Ricardo T1 - The Meiotic Nuclear Lamina Regulates Chromosome Dynamics and Promotes Efficient Homologous Recombination in the Mouse JF - PLoS Genetics N2 - The nuclear lamina is the structural scaffold of the nuclear envelope and is well known for its central role in nuclear organization and maintaining nuclear stability and shape. In the past, a number of severe human disorders have been identified to be associated with mutations in lamins. Extensive research on this topic has provided novel important clues about nuclear lamina function. These studies have contributed to the knowledge that the lamina constitutes a complex multifunctional platform combining both structural and regulatory functions. Here, we report that, in addition to the previously demonstrated significance for somatic cell differentiation and maintenance, the nuclear lamina is also an essential determinant for germ cell development. Both male and female mice lacking the short meiosis-specific A-type lamin C2 have a severely defective meiosis, which at least in the male results in infertility. Detailed analysis revealed that lamin C2 is required for telomere-driven dynamic repositioning of meiotic chromosomes. Loss of lamin C2 affects precise synapsis of the homologs and interferes with meiotic double-strand break repair. Taken together, our data explain how the nuclear lamina contributes to meiotic chromosome behaviour and accurate genome haploidization on a mechanistic level. KW - homologous chromosomes KW - homologous recombination KW - lamins KW - Oocytes KW - spermatocytes KW - synapsis KW - telomeres KW - testes Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-96285 ER - TY - JOUR A1 - Bankoglu, Ezgi Eyluel A1 - Tschopp, Oliver A1 - Schmitt, Johannes A1 - Burkard, Philipp A1 - Jahn, Daniel A1 - Geier, Andreas A1 - Stopper, Helga T1 - Role of PTEN in Oxidative Stress and DNA Damage in the Liver of Whole-Body Pten Haplodeficient Mice JF - PLoS One N2 - Type 2 diabetes (T2DM) and obesity are frequently associated with non-alcoholic fatty liver disease (NAFLD) and with an elevated cancer incidence. The molecular mechanisms of carcinogenesis in this context are only partially understood. High blood insulin levels are typical in early T2DM and excessive insulin can cause elevated reactive oxygen species (ROS) production and genomic instability. ROS are important for various cellular functions in signaling and host defense. However, elevated ROS formation is thought to be involved in cancer induction. In the molecular events from insulin receptor binding to genomic damage, some signaling steps have been identified, pointing at the PI3K/AKT pathway. For further elucidation Phosphatase and Tensin homolog (Pten), a tumour suppressor phosphatase that plays a role in insulin signaling by negative regulation of PI3K/AKT and its downstream targets, was investigated here. Dihydroethidium (DHE) staining was used to detect ROS formation in immortalized human hepatocytes. Comet assay and micronucleus test were performed to investigate genomic damage in vitro. In liver samples, DHE staining and western blot detection of HSP70 and HO-1 were performed to evaluate oxidative stress response. DNA double strand breaks (DSBs) were detected by immunohistostaining. Inhibition of PTEN with the pharmacologic inhibitor VO-OHpic resulted in increased ROS production and genomic damage in a liver cell line. Knockdown of Pten in a mouse model yielded increased oxidative stress levels, detected by ROS levels and expression of the two stress-proteins HSP70 and HO-1 and elevated genomic damage in the liver, which was significant in mice fed with a high fat diet. We conclude that PTEN is involved in oxidative stress and genomic damage induction in vitro and that this may also explain the in vivo observations. This further supports the hypothesis that the PI3K/AKT pathway is responsible for damaging effects of high levels of insulin. KW - insulin KW - mouse models DNA damage KW - oxidative stress KW - mammalian genomics KW - fatty liver KW - micronuclei KW - insulin signaling Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-146970 VL - 11 IS - 11 ER - TY - JOUR A1 - Becker, Philip P. A1 - Rau, Monika A1 - Schmitt, Johannes A1 - Malsch, Carolin A1 - Hammer, Christian A1 - Bantel, Heike A1 - Müllhaupt, Beat A1 - Geier, Andreas T1 - Performance of serum microRNAs -122, -192 and -21 as biomarkers in patients with non-alcoholic steatohepatitis JF - PLoS ONE N2 - Objectives Liver biopsies are the current gold standard in non-alcoholic steatohepatitis (NASH) diagnosis. Their invasive nature, however, still carries an increased risk for patients' health. The development of non-invasive diagnostic tools to differentiate between bland steatosis (NAFL) and NASH remains crucial. The aim of this study is the evaluation of investigated circulating microRNAs in combination with new targets in order to optimize the discrimination of NASH patients by non-invasive serum biomarkers. Methods Serum profiles of four microRNAs were evaluated in two cohorts consisting of 137 NAFLD patients and 61 healthy controls. In a binary logistic regression model microRNAs of relevance were detected. Correlation of microRNA appearance with known biomarkers like ALT and CK18-Asp396 was evaluated. A simplified scoring model was developed, combining the levels of microRNA in circulation and CK18-Asp396 fragments. Receiver operating characteristics were used to evaluate the potential of discriminating NASH. Results The new finding of our study is the different profile of circulating miR-21 in NASH patients (p<0.0001). Also, it validates recently published results of miR-122 and miR-192 to be differentially regulated in NAFL and NASH. Combined microRNA expression profiles with CK18-Asp396 fragment level scoring model had a higher potential of NASH prediction compared to other risk biomarkers (AUROC = 0.83, 95% CI = 0.754-0.908; p<0.001). Evaluation of score model for NAFL (Score = 0) and NASH (Score = 4) had shown high rates of sensitivity (91%) and specificity (83%). Conclusions Our study defines candidates for a combined model of miRNAs and CK18-Asp396 levels relevant as a promising expansion for diagnosis and in turn treatment of NASH. KW - fatty liver disease KW - independent marker KW - expression KW - injury KW - NAFLD KW - circulating micrornas KW - caspase activation KW - fibrosis KW - miR-122 KW - apoptosis Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-145147 VL - 10 IS - 11 ER - TY - JOUR A1 - Goeb, Eva A1 - Schmitt, Johannes A1 - Benavente, Ricardo A1 - Alsheimer, Manfred T1 - Mammalian Sperm Head Formation Involves Different Polarization of Two Novel LINC Complexes N2 - Background: LINC complexes are nuclear envelope bridging protein structures formed by interaction of SUN and KASH proteins. They physically connect the nucleus with the peripheral cytoskeleton and are critically involved in a variety of dynamic processes, such as nuclear anchorage, movement and positioning and meiotic chromosome dynamics. Moreover, they are shown to be essential for maintaining nuclear shape. Findings: Based on detailed expression analysis and biochemical approaches, we show here that during mouse sperm development, a terminal cell differentiation process characterized by profound morphogenic restructuring, two novel distinctive LINC complexes are established. They consist either of spermiogenesis-specific Sun3 and Nesprin1 or Sun1g, a novel non-nuclear Sun1 isoform, and Nesprin3. We could find that these two LINC complexes specifically polarize to opposite spermatid poles likely linking to sperm-specific cytoskeletal structures. Although, as shown in co-transfection / immunoprecipitation experiments, SUN proteins appear to arbitrarily interact with various KASH partners, our study demonstrates that they actually are able to confine their binding to form distinct LINC complexes. Conclusions: Formation of the mammalian sperm head involves assembly and different polarization of two novel spermiogenesis-specific LINC complexes. Together, our findings suggest that theses LINC complexes connect the differentiating spermatid nucleus to surrounding cytoskeletal structures to enable its well-directed shaping and elongation, which in turn is a critical parameter for male fertility. KW - Sperma KW - LINC complexes Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-68449 ER - TY - JOUR A1 - Strube-Bloss, Martin F. A1 - Brown, Austin A1 - Spaethe, Johannes A1 - Schmitt, Thomas A1 - Rössler, Wolfgang T1 - Extracting the Behaviorally Relevant Stimulus: Unique Neural Representation of Farnesol, a Component of the Recruitment Pheromone of Bombus terrestris JF - PLoS One N2 - To trigger innate behavior, sensory neural networks are pre-tuned to extract biologically relevant stimuli. Many male-female or insect-plant interactions depend on this phenomenon. Especially communication among individuals within social groups depends on innate behaviors. One example is the efficient recruitment of nest mates by successful bumblebee foragers. Returning foragers release a recruitment pheromone in the nest while they perform a ‘dance’ behavior to activate unemployed nest mates. A major component of this pheromone is the sesquiterpenoid farnesol. How farnesol is processed and perceived by the olfactory system, has not yet been identified. It is much likely that processing farnesol involves an innate mechanism for the extraction of relevant information to trigger a fast and reliable behavioral response. To test this hypothesis, we used population response analyses of 100 antennal lobe (AL) neurons recorded in alive bumblebee workers under repeated stimulation with four behaviorally different, but chemically related odorants (geraniol, citronellol, citronellal and farnesol). The analysis identified a unique neural representation of the recruitment pheromone component compared to the other odorants that are predominantly emitted by flowers. The farnesol induced population activity in the AL allowed a reliable separation of farnesol from all other chemically related odor stimuli we tested. We conclude that the farnesol induced population activity may reflect a predetermined representation within the AL-neural network allowing efficient and fast extraction of a behaviorally relevant stimulus. Furthermore, the results show that population response analyses of multiple single AL-units may provide a powerful tool to identify distinct representations of behaviorally relevant odors. KW - instinct KW - plant-insect interactions KW - pheromones KW - bumblebees KW - odorants KW - principal component analysis KW - neurons KW - action potentials Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-125875 VL - 10 IS - 9 ER - TY - THES A1 - Schmitt, Johannes T1 - Proteine der Kernhülle und deren Rolle bei der Umgestaltung des Zellkerns meiotischer und postmeiotischer Zellen von Säugern T1 - Proteins of the nuclear envelope and their role in the rearrangement of the nucleus in meiotic and post-meiotic mammalian cell N2 - Während der Spermatogenese finden erstaunliche Differenzierungsprozessen statt. Reguliert wird die Spermatogenese sowohl hormonell als auch durch Wechselwirkungen zwischen verschiedenen Zelltypen und der extrazellulärer Matrix. Unterteilt wird die Spermatogenese in drei funktionelle Einheiten. Die Proliferationsphase, die Meiose und die Spermiogenese. Im Laufe der Proliferationsphase gehen aus den Spermatogonien, Spermatocyten hervor, die die Meiose durchlaufen. Während der Prophase I der Meiose kommt es zur Reduktion und Rekombination des genetischen Materials, was mit charakteristischen und höchst dynamischen Bewegungsvorgängen der Telomere einhergeht. Auf die Meiose folgt die Spermiogenese, in der das genetische Material in seine „Transportform“ überführt wird und aus einer stationären, zellverbundenen Einheit ein mobiles autark funktionierendes Vehikel des genetischen Materials wird; das Spermium. Um das Verständnis dieser Vorgänge zu erweitern wurden in dieser Arbeit die Verteilungsmuster einiger Proteine in der Kernhülle von Zellen der Spermatogenese, in Hinblick auf ihre dynamische Umverteilung untersucht. Bei diesen Proteinen handelte es sich um die SUN-Domänen Proteine und das meiosespezifische Lamin C2. Die SUN-Domänen Proteine sind Teil des membrandurchspannenden LINC-Komplexes, der Komponenten des Nukleoplasma mit denen des Cytoplasma verbindet. In dieser Arbeit konnte gezeigt werden, dass die SUN-Domänen Proteine, Sun1 und Sun2 während der Meiose exprimiert werden, und an den Anheftungsplatten meiotischer Chromosomen lokalisieren und deren dynamisches Verteilungsmuster dem Verteilungsmuster der Telomere während der Prophase I der Meiose entsprechen. Dies deutet darauf hin, dass Sun1 und Sun2 eine tragende Rolle, während der koordinierten Bewegungsprozessen der Prophase I der Meiose spielen. In der Spermiogenese sind die SUN-Domänen Proteine, Sun1 und Sun3 vertreten. Dabei weist deren unterschiedliche Lokalisation an entgegengesetzten Zellpolen darauf hin, dass Sun1 und Sun3 möglicherweise unterschiedliche Funktionen bei der Umgestaltung des Spermienkopfes während der Spermiogenese erfüllen. Ein weiterer Schwerpunkt dieser Arbeit war die Etablierung einer Mauslinie um die Rolle von Lamin C2 in der Meiose untersuchen zu können. Hierzu wurde eine Lamin C2 Knock-out Studie begonnen. In ersten Untersuchungen der knock-out Tiere konnte eine Größenreduktion der Hoden beobachtet werden. Ebenso konnte ein Abbruch der Meiose vermerkt werden. Die Ergebnisse dieser Arbeit verdeutlichen, dass sowohl die SUN-Domänen Proteine, als auch Lamin C2, wichtige Rollen in dem komplexen Arrangement der Spermatogenese übernehmen. N2 - During spermatogenesis amazing differentiation processes take place. Spermatogenesis is regulated by hormones and crosstalk between several cell types and the extra cellular matrix. It can be divided in three functional processes: The proliferation phase, meiosis and spermiogenesis. In the course of the proliferation phase spermatogonia become spermatocytes, which then pass through meiosis. During prophase I of meiosis the reduction and the recombination of the genetic material take place, involving characteristic and highly dynamic movements of meiotic telomeres. Meiosis is followed by spermiogenesis, where the genetic material is converted to its “transport form”, thereby turning a static, tissue associated cell into a mobile, self-sufficient vehicle of the genetic material; the sperm. To expand the knowledge of these processes, the localisation of some proteins of the nuclear envelope of spermatogenetic cells were examined in this work, in order to discover their dynamic distribution pattern. These proteins are the SUN-domain proteins and the meiosis specific lamin C2. The SUN-domain proteins are part of the transmembrane LINC-complex, which connects nucleoplasmic and cytoplasmic components. This work shows, that the SUN-domain proteins Sun1 and Sun2 are expressed during meiosis, that they are located at the attachment sites of the meiotic telomeres, and that their localisation parallels the dynamic movements of the telomeres, which take place in meiotic prophase I. These results indicate that Sun1 and Sun2 play a major role in the coordinated telomere movements during prophase I of meiosis. This work furthermore shows the specific expression of Sun1 and Sun3 during spermiogenesis. Their localisation at opposite poles of the spermatid head indicates discrete functions during the transformation of the sperm head, which takes place in this phase of spermatogenesis. Another focus of this work was the establishment of a lamin C2 knock out mouse line to analyse the role of lamin C2 in meiosis. Analysis of the knock out animals showed a reduction of testis-size in comparison to wild-type mice. Additionaly meiosis was aborted in lamin C2 deficient mice. In summary these results make evident, that the SUN-domain proteins, as well as the meiosis specific lamin C2 play an important role in the complex arrangements of spermiogenesis. KW - Meiose KW - Spermatogenese KW - Kernproteine KW - meiosis KW - spermatogenesis KW - nucleus Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-31203 ER - TY - JOUR A1 - Alsheimer, Manfred A1 - Link, Jana A1 - Leubner, Monika A1 - Schmitt, Johannes A1 - Göb, Eva A1 - Benavente, Ricardo A1 - Jeang, Kuan-Teh A1 - Xu, Rener T1 - Analysis of Meiosis in SUN1 Deficient Mice Reveals a Distinct Role of SUN2 in Mammalian Meiotic LINC Complex Formation and Function N2 - LINC complexes are evolutionarily conserved nuclear envelope bridges, composed of SUN (Sad-1/UNC-84) and KASH (Klarsicht/ANC-1/Syne/homology) domain proteins. They are crucial for nuclear positioning and nuclear shape determination, and also mediate nuclear envelope (NE) attachment of meiotic telomeres, essential for driving homolog synapsis and recombination. In mice, SUN1 and SUN2 are the only SUN domain proteins expressed during meiosis, sharing their localization with meiosis-specific KASH5. Recent studies have shown that loss of SUN1 severely interferes with meiotic processes. Absence of SUN1 provokes defective telomere attachment and causes infertility. Here, we report that meiotic telomere attachment is not entirely lost in mice deficient for SUN1, but numerous telomeres are still attached to the NE through SUN2/KASH5-LINC complexes. In Sun12/2 meiocytes attached telomeres retained the capacity to form bouquetlike clusters. Furthermore, we could detect significant numbers of late meiotic recombination events in Sun12/2 mice. Together, this indicates that even in the absence of SUN1 telomere attachment and their movement within the nuclear envelope per se can be functional. Author summary: Correct genome haploidization during meiosis requires tightly regulated chromosome movements that follow a highly conserved choreography during prophase I. Errors in these movements cause subsequent meiotic defects, which typically lead to infertility. At the beginning of meiotic prophase, chromosome ends are tethered to the nuclear envelope (NE). This attachment of telomeres appears to be mediated by well-conserved membrane spanning protein complexes within the NE (LINC complexes). In mouse meiosis, the two main LINC components SUN1 and SUN2 were independently described to localize at the sites of telomere attachment. While SUN1 has been demonstrated to be critical for meiotic telomere attachment, the precise role of SUN2 in this context, however, has been discussed controversially in the field. Our current study was targeted to determine the factual capacity of SUN2 in telomere attachment and chromosome movements in SUN1 deficient mice. Remarkably, although telomere attachment is impaired in the absence of SUN1, we could find a yet undescribed SUN1-independent telomere attachment, which presumably is mediated by SUN2 and KASH5. This SUN2 mediated telomere attachment is stable throughout prophase I and functional in moving telomeres within the NE. Thus, our results clearly indicate that SUN1 and SUN2, at least partially, fulfill redundant meiotic functions. KW - telomeres KW - spermatocytes KW - Oocytes KW - meiosis KW - protein domains KW - cytoskeleton KW - synapsis KW - homologous chromosomes Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-111355 ER - TY - JOUR A1 - Elias, Johannes A1 - Heuschmann, Peter U. A1 - Schmitt, Corinna A1 - Eckhardt, Frithjof A1 - Boehm, Hartmut A1 - Maier, Sebastian A1 - Kolb-Mäurer, Annette A1 - Riedmiller, Hubertus A1 - Müllges, Wolfgang A1 - Weisser, Christoph A1 - Wunder, Christian A1 - Frosch, Matthias A1 - Vogel, Ulrich T1 - Prevalence dependent calibration of a predictive model for nasal carriage of methicillin-resistant Staphylococcus aureus JF - BMC Infectious Diseases N2 - Background Published models predicting nasal colonization with Methicillin-resistant Staphylococcus aureus among hospital admissions predominantly focus on separation of carriers from non-carriers and are frequently evaluated using measures of discrimination. In contrast, accurate estimation of carriage probability, which may inform decisions regarding treatment and infection control, is rarely assessed. Furthermore, no published models adjust for MRSA prevalence. Methods Using logistic regression, a scoring system (values from 0 to 200) predicting nasal carriage of MRSA was created using a derivation cohort of 3091 individuals admitted to a European tertiary referral center between July 2007 and March 2008. The expected positive predictive value of a rapid diagnostic test (GeneOhm, Becton & Dickinson Co.) was modeled using non-linear regression according to score. Models were validated on a second cohort from the same hospital consisting of 2043 patients admitted between August 2008 and January 2012. Our suggested correction score for prevalence was proportional to the log-transformed odds ratio between cohorts. Calibration before and after correction, i.e. accurate classification into arbitrary strata, was assessed with the Hosmer-Lemeshow-Test. Results Treating culture as reference, the rapid diagnostic test had positive predictive values of 64.8% and 54.0% in derivation and internal validation corhorts with prevalences of 2.3% and 1.7%, respectively. In addition to low prevalence, low positive predictive values were due to high proportion (> 66%) of mecA-negative Staphylococcus aureus among false positive results. Age, nursing home residence, admission through the medical emergency department, and ICD-10-GM admission diagnoses starting with “A” or “J” were associated with MRSA carriage and were thus included in the scoring system, which showed good calibration in predicting probability of carriage and the rapid diagnostic test’s expected positive predictive value. Calibration for both probability of carriage and expected positive predictive value in the internal validation cohort was improved by applying the correction score. Conclusions Given a set of patient parameters, the presented models accurately predict a) probability of nasal carriage of MRSA and b) a rapid diagnostic test’s expected positive predictive value. While the former can inform decisions regarding empiric antibiotic treatment and infection control, the latter can influence choice of screening method. KW - Methicillin-resistant staphylococcus aureus KW - Infection control KW - Clinical prediction rule KW - Predictive value of tests KW - False positive reactions KW - Calibration Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-96091 UR - http://www.biomedcentral.com/1471-2334/13/111 ER - TY - JOUR A1 - Diao, Wenwen A1 - Mousset, Mathilde A1 - Horsburgh, Gavin J. A1 - Vermeulen, Cornelis J. A1 - Johannes, Frank A1 - van de Zande, Louis A1 - Ritchie, Michael G. A1 - Schmitt, Thomas A1 - Beukeboom, Leo W. T1 - Quantitative Trait Locus Analysis of Mating Behavior and Male Sex Pheromones in Nasonia Wasps JF - G3: Genes Genomes Genetics N2 - A major focus in speciation genetics is to identify the chromosomal regions and genes that reduce hybridization and gene flow. We investigated the genetic architecture of mating behavior in the parasitoid wasp species pair Nasonia giraulti and Nasonia oneida that exhibit strong prezygotic isolation. Behavioral analysis showed that N. oneida females had consistently higher latency times, and broke off the mating sequence more often in the mounting stage when confronted with N. giraulti males compared with males of their own species. N. oneida males produce a lower quantity of the long-range male sex pheromone (4R,5S)-5-hydroxy-4-decanolide (RS-HDL). Crosses between the two species yielded hybrid males with various pheromone quantities, and these males were used in mating trials with females of either species to measure female mate discrimination rates. A quantitative trait locus (QTL) analysis involving 475 recombinant hybrid males (F2), 2148 reciprocally backcrossed females (F3), and a linkage map of 52 equally spaced neutral single nucleotide polymorphism (SNP) markers plus SNPs in 40 candidate mating behavior genes revealed four QTL for male pheromone amount, depending on partner species. Our results demonstrate that the RS-HDL pheromone plays a role in the mating system of N. giraulti and N. oneida, but also that additional communication cues are involved in mate choice. No QTL were found for female mate discrimination, which points at a polygenic architecture of female choice with strong environmental influences. KW - Nasonia courtship KW - female choice KW - sex pheromone KW - QTL analysis KW - speciation Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-165412 VL - 6 IS - 6 ER - TY - RPRT A1 - Grigorjew, Alexej A1 - Metzger, Florian A1 - Hoßfeld, Tobias A1 - Specht, Johannes A1 - Götz, Franz-Josef A1 - Schmitt, Jürgen A1 - Chen, Feng T1 - Technical Report on Bridge-Local Guaranteed Latency with Strict Priority Scheduling N2 - Bridge-local latency computation is often regarded with caution, as historic efforts with the Credit-Based Shaper (CBS) showed that CBS requires network wide information for tight bounds. Recently, new shaping mechanisms and timed gates were applied to achieve such guarantees nonetheless, but they require support for these new mechanisms in the forwarding devices. This document presents a per-hop latency bound for individual streams in a class-based network that applies the IEEE 802.1Q strict priority transmission selection algorithm. It is based on self-pacing talkers and uses the accumulated latency fields during the reservation process to provide upper bounds with bridge-local information. The presented delay bound is proven mathematically and then evaluated with respect to its accuracy. It indicates the required information that must be provided for admission control, e.g., implemented by a resource reservation protocol such as IEEE 802.1Qdd. Further, it hints at potential improvements regarding new mechanisms and higher accuracy given more information. KW - Echtzeit KW - Rechnernetz KW - Latenz KW - Ethernet KW - Latency Bound KW - Formal analysis Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-198310 ER -